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