Last year I had a course in discrete mathematics , and I am familiar with its basics. I would like you to help me with writing the algorithm for obtaining DNF , and explaining how to transfer from DNF to MDNF .

I'm looking for any example of the implementation of this task, not necessarily in C ++. The main thing is that the algorithm for obtaining DNF and MDNF would be clear. It would be great if you deployed commented on the algorithm (what is the input, what is the output, etc.).

Maybe I’m not writing there, but I know that there are smart people here, and I don’t know any other good services. I would be glad if you tell me other services on which I could ask this question.

  • four
    Read about the Quine-McClusk minimization algorithm. This is Quine's same algorithm, but redesigned so that it is very convenient to implement it on a machine. - neko69

1 answer 1

See this project here. If the link turns out to be a bat over time, google Quine-McCluskey minimizer .