p∧[(p′∨q)∧q′]≡p∧[(p′∧q′)∨(q∧q′)]≡p∧[(p′∧q′)∨0]≡p∧(p′∧q′)
≡
(p∧p′)∧q′
0∧q′
0 Yani çelişki (hepyanlış).