exsandebest / MDNF

Minimal disjunctive normal form (MDNF): Table and Result in Qt

MDNF

Minimal disjunctive normal form: Table and Result
You can enter a boolean function and get Minimal disjunctive normal form of this function

Features

• 1-6 Variables
• All results with minimal length
• Loading animation
• Input logical function with decimal and binary number
• Double-click to change function value in the table

Interface - example