1booldnf(1)                                                          booldnf(1)
2
3
4

NAME

6       booldnf - converts a boolean expression to the DNF
7

SYNOPSIS

9       echo 'a&(!b|c&!d)' | booldnf > result.txt
10

DESCRIPTION

12       booldnf  is  a program that reads boolean expressions from its standard
13       input and rewrites them in Disjunctive Normal Form on its standard out‐
14       put.  It uses the BoolStuff library.
15
16       The  Disjunctive  Normal  Form  is  an  ORing of ANDed terms.  In other
17       words, if the OR is considered an additive operation and the AND a mul‐
18       tiplicative operation, then the DNF is a sum of products.
19
20       Each  expression  must be on its own text line.  Variable names must be
21       composed only of ASCII letters and digits.
22
23       The AND operator is &, the OR operator is |, and the NOT operator is !.
24       Parentheses are allowed.
25
26       The  command  flushes its output buffer after each result or error mes‐
27       sage, to make sure that  it  can  be  used  with  bidirectional  pipes.
28       Results and error messages always take exactly one text line.
29

EXAMPLES

31       The command
32
33              echo 'a&(!b|c&!d)' | booldnf
34
35       should display
36
37              a&c&!d|a&!b
38

LICENSE

40       This  program is free software; you may redistribute it under the terms
41       of the GNU General Public License.  This program has absolutely no war‐
42       ranty.
43

AUTHOR

45       See the boolstuff(3) manual page.
46

BUGS

48       See the boolstuff(3) manual page.
49
50
51
52                              February 4th, 2006                    booldnf(1)