|
Double Negation (DN)
|
p :: ~~p
|
|
|
Commutation (Com)
|
(pvq) :: (qvp)
|
|
|
Commutation (Com)
|
(p.q) :: (q.p)
|
|
|
Association (As)
|
(pv(qvr)) :: ((pvq)vr)
|
|
|
Association (As)
|
(p.(q.r)) :: ((p.q).r)
|
|
|
De Morgan's Laws (DeM)
|
~(p.q) :: (~pv~q)
|
|
|
De Morgan's Laws (DeM)
|
~(pvq) :: (~p.~q)
|
|
|
Contraposition (Cont)
|
(p->q) :: (~q->~p)
|
|
|
Exportation (Ex)
|
((p.q)->r) :: (p->(q->r))
|
|
|
Distribution (Dist)
|
(p.(qvr)) :: ((p.q)v(p.r))
|
|
|
Distribution (Dist)
|
(pv(q.r) :: ((pvq).(pvr))
|
|
|
Redundancy (Re)
|
p :: (p.p)
|
|
|
Redundancy (Re)
|
p :: (pvp)
|
|
|
Material Equivalence (ME)
|
(p<->q) :: ((p->q).(q->p))
|
|
|
Material Equivalence (ME)
|
(p<->q) :: ((p.q)v(~p.~q))
|
|
|
Material Implication (MI)
|
(p->q) :: (~pvq)
|
|
