(B | C) & !(B & C) & !A | (A & B & C)