It could happen that two tables (ones not corresponding to the given formula) were identical. The commit https://github.com/fmidue/logic-tasks/commit/57d672a88716bfa53c726eaae324762a394e2f20 makes it at least less likely. Depending on the CNF generator (or what exactly equality means on the type used for CNFs) it might still be possible that two different CNFs are used but they still have the same table. That should be checked/fixed. Possibly using xorSat in the checking here is the safer way of doing it.
It could happen that two tables (ones not corresponding to the given formula) were identical. The commit https://github.com/fmidue/logic-tasks/commit/57d672a88716bfa53c726eaae324762a394e2f20 makes it at least less likely. Depending on the CNF generator (or what exactly equality means on the type used for CNFs) it might still be possible that two different CNFs are used but they still have the same table. That should be checked/fixed. Possibly using
xorSat
in the checking here is the safer way of doing it.