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 2.2 not or x y not x not and x y not x and x or y z and x z not and x y not y and or y z x and x z not or x y not y not or x y and not x not y and x or y z and x y and or y z x and x y true not or x y not y not and x y not x not and x y not y not or x y not x true and 2 1 2 1 not 1 1 0 or 2 1 2 1 and 2 0 not 1 0 not or x y and not x not y false and or y z x and x y and x or y z and x y and x or y z and x z and or y z x and x z true and 2 1 not 1 0 or 2 1 2 1 and 2 1 2 0 not 1 0 NaTT certifiable-1.6