(A and B and C) or NOT(A) or NOT(B) or NOT(C)