Určovanie skrátenej DNF pomocou Quine-McCluskeyho algoritmu