Interactive Mathematics Experience
Propositional logic — AND, OR, NOT, Implication, De Morgan's Laws
Example 1
AND: p=T, q=F → p∧q = F
Example 2
Implication: p=T, q=F → p→q = F
Example 3
De Morgan 1: ¬(p∧q) ≡ ¬p∨¬q
Example 4
Biconditional: T↔T=T, T↔F=F
Example 5
De Morgan 2: ¬(p∨q) ≡ ¬p∧¬q