MAYBE 2.2 _and_ x y _and_ y x _or_ x _or_ y z _or_ _or_ x y z _or_ x y _or_ y x _and_ x _and_ y z _and_ _and_ x y z _xor_ x y _xor_ y x _xor_ x _xor_ y z _xor_ _xor_ x y z _or_ x _or_ y z _or_ x y _xor_ x _xor_ y z _xor_ x y _and_ x _and_ y z _and_ _and_ x y z _xor_ x y _xor_ y x _xor_ x _xor_ y z _xor_ _xor_ x y z _and_ x y _and_ y x _or_ x _or_ y z _or_ _or_ x y z _or_ x y _or_ y x _and_ x _and_ y z _and_ x y _and_ A _xor_ B C _xor_ _and_ A B _and_ A C U11 tt U' U _isNotEqualTo_ U U' _implies_ A B _xor_ A _and_ A B _or_ A B _and_ A B _isNotEqualTo_ U U' _isEqualTo_ U U' U21 tt B U' U22 equal _isNotEqualTo_ B true true U' not_ A _xor_ A true _or_ A B _xor_ _and_ A B _xor_ A B _or_ A B _xor_ A B U21 tt B U' equal _isNotEqualTo_ B true true if_then_else_fi B U U' U21 tt B U' _implies_ A B _and_ A B _isNotEqualTo_ U U' if_then_else_fi _isEqualTo_ U U' false true _implies_ A B not_ _xor_ A _and_ A B U11 tt U' U equal _isNotEqualTo_ U U' true U11 tt U' U U12 equal _isNotEqualTo_ U U' true U21 tt B U' _isNotEqualTo_ B true _isEqualTo_ U U' U11 tt U' U _and_ A _xor_ B C _and_ A B _and_ A _xor_ B C _and_ A C _and_ _and_ A _xor_ B C _1 _and_ _xor_ _and_ A B _and_ A C _1 _or_ _or_ A B _1 _or_ _xor_ _and_ A B _xor_ A B _1 _and_ _and_ false A _1 _and_ false _1 _and_ _and_ A A _1 _and_ A _1 _xor_ _xor_ false A _1 _xor_ A _1 _and_ _and_ true A _1 _and_ A _1 _xor_ _xor_ A A _1 _xor_ false _1 _or_ x y _or_ y x _or_ x _or_ y z _or_ _or_ x y z _or_ x _or_ y z _or_ x y true _or_ A B _xor_ _and_ A B _xor_ A B false _or_ A B _xor_ A B false _or_ A B _and_ A B false _implies_ A B _xor_ A _and_ A B false _implies_ A B not_ _xor_ A _and_ A B false not_ A _xor_ A true false _implies_ A B _and_ A B false _and_ x _and_ y z _and_ x y _and_ A _xor_ B C _and_ A C _and_ x y _and_ y x _and_ A _xor_ B C _and_ A B _and_ x _and_ y z _and_ _and_ x y z true Failed! NaTT 1.7