I am trying to find how many counterexamples has the decision. With the command SatisfabilyInstances I get 28. But that's not true.
Follow Math Help Forum on Facebook and Google+
View Tag Cloud