exsandebest / MDNF Star 3 Code Issues Pull requests Minimal disjunctive normal form (MDNF): Table and Result in Qt qt table boolean-algebra boolean-logic boolean-function logical-function minimal-disjunctive-normal-form mdnf Updated May 20, 2020 C++
Irval1337 / MinDisjunctive Star 1 Code Issues Pull requests A C++ SFML program that uses minimizing maps to search for all minimal disjunctive normal forms of a logical function entry sfml minimal-disjunctive-normal-form Updated Feb 1, 2023 C++