Yazdırılabilir görünüm
P<=>q ^ ye nasıl çevrilir
(p=>q)^(q=>p) şeklinde
gökberk'den alıntı: (p=>q)^(q=>p) şeklinde Bunu biraz daha açarsak; (p' v q) ^ (q' v p)