NOT[ NOT{1 AND NOT(1 AND 0)} AND NOT{0 AND NOT(1 AND 0)