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 INNERMOST ./TRS/SK90/4.22.trs