booldnf (1) - Linux Man Pages
booldnf: converts a boolean expression to the DNF
NAMEbooldnf - converts a boolean expression to the DNF
SYNOPSISecho 'a&(!b|c&!d)' | booldnf > result.txt
booldnf 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 words, if the OR is considered an additive operation and the AND a multiplicative operation, then the DNF is a sum of products.
Each expression must be on its own text line. Variable names must be composed only of ASCII letters and digits.
The AND operator is &, the OR operator is |, and the NOT operator is !. Parentheses are allowed.
- echo 'a&(!b|c&!d)' | booldnf
LICENSEThis program is free software; you may redistribute it under the terms of the GNU General Public License. This program has absolutely no warranty.
AUTHORSee the boolstuff(3) manual page.
BUGSSee the boolstuff(3) manual page.