Originally Posted by

**tukeywilliams** Prove that the three basic connectives 'or', 'and' and 'not' can all be written in terms of the single connective 'notand' where 'P notand Q' is interpreted as 'not(P and Q)'.

So I made truth tables for ( P or Q) and (P and Q). I am not sure what the basic connective 'not' is. Is it (not P) / not(Q), or the negation of the individual statements? I figured out that $\displaystyle P \text{and} \; Q = \text{not}\; (P\text{notand} \; Q) $. But I couldnt figure out the forms for $\displaystyle P \text{or} Q $ or $\displaystyle \text{not} P, \; \text{not} Q $.

Any help is appreciated. Thanks.