((A and B) or( not A and not B))