debian man page for booldnf

Query: booldnf

OS: debian

Section: 1

Format: Original Unix Latex Style Formatted with HTML and a Horizontal Scroll Bar

booldnf(1)																booldnf(1)

NAME
booldnf - converts a boolean expression to the DNF
SYNOPSIS
echo 'a&(!b|c&!d)' | booldnf > result.txt
DESCRIPTION
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 multi- plicative 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. The command flushes its output buffer after each result or error message, to make sure that it can be used with bidirectional pipes. Results and error messages always take exactly one text line.
EXAMPLES
The command echo 'a&(!b|c&!d)' | booldnf should display a&c&!d|a&!b
LICENSE
This program is free software; you may redistribute it under the terms of the GNU General Public License. This program has absolutely no warranty.
AUTHOR
See the boolstuff(3) manual page.
BUGS
See the boolstuff(3) manual page. October 13th, 2008 booldnf(1)
Related Man Pages
french-conjugator(1) - debian
py_xls2txt(1) - debian
scs2ps(1) - centos
lire::records(3pm) - debian
lire::sum(3pm) - debian
Similar Topics in the Unix Linux Community
BoolStuff 0.1.12 (Default branch)
Need a Command To display "echo command value in loop" in single line.
IBM's Objection to SCO's APA Motion, as text
date from filename
text format