mantık

(p=>q)=p'Vq
(p=>q)Vp=p'VqVp=1
p=1 ise p'=0dır veya p=0 ise p'=0 yani bu işlemin içinde en az bir tane 1 vardır. Bu yüzden 1 e eşittir.