Soru: (p => q) Λ (q’ => p) bileşik önermesinin en sade hâli aşağıdakilerden hangisidir?
A) p B) q C) 1 D) q’ E) p’
Cevap: p => q ≡ p’ V q özellik
(p => q) Λ (q’ => p)
(p’ V q) Λ (q V p)
(p’ V q) Λ (p V q) // Dağılma özelliği
(p’ Λ p) V q
0 V q
q olarak cevabı bulmuş oluruz.