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