not and x y or not x not y not or x y and not x not y and x or y z or and x y and x z not 1 and 2 or 2 FULL ./TRS/SK90/4.22.trs