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