©1992-2000 Colin Allen. Reproduction by any means strictly prohibited.

P ↔ Q -||- ~Q ↔ ~P
BiTransposition
P ↔ ~Q -||- ~P ↔ Q
BiTrans