NOT(NOT(A AND B) OR B AND C)