not not x x not or x y and not x not y not and x y or not x not y and x or y z or and x y and x z and or y z x or and x y and x z not 1 or 2 and 2 FULL ./TRS/D33/12.trs