Linux and UNIX Man Pages

Linux & Unix Commands - Search Man Pages

booldnf(1) [debian man page]

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)

Check Out this Related Man Page

Sum(3pm)						  LogReport's Lire Documentation						  Sum(3pm)

NAME
Lire::Sum - Lire class that implements the sum operator SYNOPSIS
use Lire::Sum DESCRIPTION
Class that implements the sum operator. This operator will compute the field's sum in a group of DLF records. It's possible to compute a weighted sum in which each value is first multiplied by the value of another DLF field. Its also possible to express the count as a ratio of the total count for the group or table. METHODS
new( %params ) Creates a new Lire::Count object. In addition to the values supported by its parents, the weight and ratio attributes will be initialized to the values specified in the %params argument. weight( [$new_weight] ) Returns the DLF field's name by which the values will be multiplied before being summed. You can change the weight field by specifying a new name as the $new_weight parameter. Use undef to remove the use of a weighting field. ratio([$new_ratio]) Returns how the sum will be expressed. This can one of three possible values: none Default. The absolute sum will be used. group The sum will be expressed as a percentage of the group's sum. table The sum will be expressed as a percentage of the table's total sum. SEE ALSO
zLire::ReportSpec(3pm), Lire::ReportOperator(3pm), Lire::Aggregator(3pm), Lire::Aggregate(3pm). AUTHOR
Francis J. Lacoste <flacoste@logreport.org> VERSION
$Id: Sum.pm,v 1.17 2008/03/09 19:27:31 vanbaal Exp $ COPYRIGHT
Copyright (C) 2001, 2002 Stichting LogReport Foundation LogReport@LogReport.org This file is part of Lire. Lire is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version. This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. You should have received a copy of the GNU General Public License along with this program (see COPYING); if not, check with http://www.gnu.org/copyleft/gpl.html. Lire 2.1.1 2008-03-09 Sum(3pm)
Man Page