(Ƒ)

q. ⊃ . p ⌵ q = ~q . ⊃ . p ⌵ ~q
66