HUKUM EKUIVALENSI LOGIKA

1. Identitas              p^1=p                            p v p=p
2. Ikatan                  p v p = tautologi             p^0 = 0
3. Idempoten           p v p = p                        p^p = p
4. Negasi                 p v –p = 1                      p^-p = 0
5. Negasi ganda      -(-p) = p
6. Komutatif             p v q = q v p                  p^q = q^p
7. Asosiatif              (pvq)vr = pv(qvr)           (p^q)^r = p^(q^r)
8. De Morgan          -(p^q) = -p v-q             - (pvq) = -p^-q
9. Absorbsi               p^(pvq)=p                    pv(p^q) = p