• ~(p /\ q) == ~q \/ ~p

• ~(p \/ q) == ~q /\ ~p

• ~G q == F (~q)

• ~F q == G ~q

• ~X q == X ~q

• ~(p U q) == ~p R ~q

• ~(p R q) == ~p U ~q

• F(p \/ q) == F p \/ F q

• G(p/\q) == Gp /\ Gq

• Fq == TOP U q

• G q == BOTTOM R q

• p U q == (p W q) /\ Fq

• p W q == (p U q) \/ G p

• p W q = q R (p \/ q)

• p R q == q W (p /\ q)