(p=>q)' neye eşittir (açınız)
(P ise q )'
= (P' v q)
= P^g' esittir
p'<=>q' eşittir =ise işleminin tersi ancak ve ancak
=veya nın tersi ve
= ve nin tersi de veya dır yani dönüşüm içerisindedir
