Cevap:
p ∧ q
Adım adım açıklama:
q ⇒ (p ∧ q)' ≡ q' v (p ∧ q)' şeklinde bir denklik yazılabilir.
Bu önermenin değilini alırken:
[q' v (p ∧ q)']' ≡ q ∧ (p ∧ q) şeklinde bir denklik yazılabilir.
Bu önermeyi sadeleştirerek:
q ∧ p ∧ q ≡ (q ∧ q) ∧ p ≡ p ∧ q şeklinde en sade hali bulunur.
