This preview shows page 1. Sign up to view the full content.
Unformatted text preview: For ~,&, we just need to show how to express v p v q ~(~p & ~q) For ~,v show p & q ~(~p v ~q) Can do any query with negation and conjunction P|q = ~(p & q) NAND ~p = p|p ~(p&p) = ~p P&q ~(p & q) = p|q ~~p&q p|q | p|q NOR is also expressively complete (P|q )|(p|q) ~(S & ~B)...
View Full Document
This note was uploaded on 04/20/2010 for the course PHIL 63170 taught by Professor Fitelson during the Spring '10 term at Berkeley.
- Spring '10