> { (A∩B¬)∪(A¬∩B) }¬ ⇔ {(A∩B¬)¬} ∩ {(A¬∩B)¬ }