def test_overloading():
 assert ((A & B) == And(A, B))
 assert ((A | B) == Or(A, B))
 assert (((A & B) | C) == Or(And(A, B), C))
 assert ((A >> B) == Implies(A, B))
 assert ((A << B) == Implies(B, A))
 assert ((~ A) == Not(A))
 assert ((A ^ B) == Xor(A, B))

def test_overloading ( ) : assert ( ( A & B ) == And ( A , B ) ) assert ( ( A | B ) == Or ( A , B ) ) assert ( ( ( A & B ) | C ) == Or ( And ( A , B ) , C ) ) assert ( ( A >> B ) == Implies ( A , B ) ) assert ( ( A << B ) == Implies ( B , A ) ) assert ( ( ~ A ) == Not ( A ) ) assert ( ( A ^ B ) == Xor ( A , B ) )
test that | .