Is the minimal DNF that is returned by QMC.primes2mindnf(Primes) unique?
You seem to have CSS turned off. Please don't fill out this field.
Anonymous
minimal DNFs are not unique. Here is an example of two minimal DNFs for the same function (taken from http://math.stackexchange.com/questions/321285):
A&!B | B&!C | !A&C !B&C | !A&B | A&!C
QMC.primes2mindnf returns the first solution it finds.
View and moderate all "General Discussion" comments posted by this user
Mark all as spam, and block user from posting to "Discussion"
Is the minimal DNF that is returned by QMC.primes2mindnf(Primes) unique?
Last edit: Hannes Klarner 2016-03-04
minimal DNFs are not unique. Here is an example of two minimal DNFs for the same function (taken from http://math.stackexchange.com/questions/321285):
QMC.primes2mindnf returns the first solution it finds.
Last edit: Hannes Klarner 2016-03-04