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