Logical Connectives (Cont)

NAND: ~(P & Q) P nand Q

NOR: ~(P v Q) P nor Q

Implies: P -> Q if P then Q

~P v Q

Previous slide

Next slide

Back to first slide

View graphic version