Logical Connectives

Negation: ~P

Conjunction: P & Q

Disjunction: P v Q

Exclusive OR: P <> Q

NAND: ~(P & Q)

NOR: ~(P v Q)

Implies: P -> Q

~P v Q

Previous slide

Next slide

Back to first slide

View graphic version