10 ATURAN (P v Q) v R

EQUIVALENCE P v (Q v R)

1. Double Negation (DN) 7. Distribution (Dist)

~(~P) P ^ (Q v R)
P (P ^ Q) v (P ^ R)

2. Contrapotition (Contra) P v (Q ^ R)
(P v Q) ^ (P v R)
P→Q
~Q → ~P 8. De Morgan’s Theory

3. Implication (Impl) ~(P ^ Q)

~P v ~Q
P→Q
~P v Q ~(P v Q)
~P ^ ~Q
4. Exportation (Exp)
9. Tautology (Taut)
P → (Q→R)
(P ^ R) → R P^P
P
5. Commutation (Comm)
PvP
P^Q P
Q^P
10. Equivalence (Equiv)
P vQ
QvP P↔Q
(P → Q) ^ (Q → P)

6. Association (Assoc) P↔Q

(P ^ Q) v (~P ^ ~Q)
(P ^ Q) ^ R
P ^ (Q ^ R)