önerme

a <=> ( a => b' ) işleminin açıklayabilirmisiniz

p<=>q ≡ (p=>q) ∧ (q=>p) özelliğinden

a <=> ( a => b' ) ≡ (a=>a) ∧ [(a => b') => a ] bu ve bağlacındaki a=>a ≡ 1 dir. kural gereği.

a <=> ( a => b' ) ≡ 1 ∧ [(a => b') => a ] buırada 1 ∧ k gibi birşey var. burada ve bağlacının değişme özelliği vardır. yani k ∧ 1 dir. Yine kural gereği p ∧ 1 ≡ p dir. O zaman bi k dediğimiz (a => b') => a ifadeyi inceleyeceğiz.
Şimdi p=>q ≡ p' V q dan
(a => b') => a ≡ (a' V b')' V a ≡ (a ∧ b) V a bulunuyor. En sade hali bu.