a = False
b = True

a_and_b = a && b
a_or_b  = a || b
not_a   = not a
a_xor_b  = a /= b
a_nxor_b = a == b
a_implies_b = a <= b -- sic!