true
false
True
False
true and true
true and false
false and true
false and false
true && false
true /\ false
true or true
true or false
false or true
false or false
true || false
true \/ false
not true
not false
true ==> true
true ==> false
false ==> true
false ==> false
true -> true
true -> false
false -> true
false -> false
true <-> true
true <-> false
false <-> true
false <-> false
true iff false
true <==> false
