booldnf (1) Linux Manual Page
booldnf – converts a boolean expression to the DNF Synopsisecho ‘a&(!b|c&!d)’ | booldnf > result.txt Descriptionbooldnf is a program that reads boolean expressions from its standard input and rewrites them in Disjunctive Normal Form on its standard output. It uses the BoolStuff library. The Disjunctive Normal Form is an ORing of ANDed terms. In other…
