SAYISAL OLARAK;
(p => q) = p¹ v q
SÖZEL OLARAK;
P ise Q , P nin Değili veya Q ya Eşittir
Buna Göre
( p¹ v q ) ^ p
Burada Önce Hepsini p Parantezine alalım çünkü p dısarıda bağımsız ve hepsiyle aynı yerde yazabiliriz :
( p¹ ^ q ) v ( p ^ q ) olarak yazdık
Şimdi Ve Bağlacında " ^ " bir tanesi diğerinden farklıysa sonuç 0 dır. Çünkü biri 1 ise diğeri 0 dır bu yüzden orası 0 dır.
0 v ( p ^ q ) olarak sonucu bulduk.
