©1992-2000 Colin Allen. Reproduction by any means strictly prohibited.
P ↔ Q -||- ~Q ↔ ~P
BiTrans
position
P ↔ ~Q -||- ~P ↔ Q
BiTrans