or x x x and x x x not not x x not and x y or not x not y not or x y and not x not y 2.2 not or x y not x not and x y not y not and x y not x not or x y not y not or x y and not x not y not and x y or not x not y true not or x y not y not and x y not y not and x y not x not or x y not x true and 2 1 2 1 not 1 1 0 or 2 1 2 1 or 2 0 and 2 0 not 1 0 not or x y and not x not y false not and x y or not x not y false NaTT certifiable-1.6