next up previous contents
Next: Directives Up: Canonical form Previous: Boolean functions   Contents

Manipulators

 GCF


$\textstyle \parbox{110mm}{
The syntax for this manipulator is}$


gcf ( <function> <cofactor> )


% latex2html id marker 10318
$\textstyle \parbox{110mm}{
where {\tt <cofactor>...
...ection} for a description of generalized cofactor and when
it might be useful.}$

STRENGTHEN


$\textstyle \parbox{110mm}{
The syntax for this manipulator is}$


strengthen ( <function>_1 <function>_2 )


% latex2html id marker 10320
$\textstyle \parbox{110mm}{
where {\tt <function>\...
... To find out more about strengthening see
Section~\ref{strengthening-section}.}$

PRUNE


$\textstyle \parbox{110mm}{
The syntax for this manipulator is}$


prune ( <function>_1 <function>_2 )


% latex2html id marker 10322
$\textstyle \parbox{110mm}{
where {\tt <function>\...
... To find out more
about branch pruning see Section~\ref{branch-prune-section}.}$

EXIST


$\textstyle \parbox{110mm}{
The syntax for this manipulator is}$


exist ( <function> <variable> )


% latex2html id marker 10324
$\textstyle \parbox{110mm}{
where {\tt <function>}...
...xistentially quantifying away variables
see Section~\ref{existential-section}.}$

UNIVERSE


$\textstyle \parbox{110mm}{
The syntax for this manipulator is}$


universe ( <function> <variable> )


% latex2html id marker 10326
$\textstyle \parbox{110mm}{
where {\tt <function>}...
...out universally quantifying away variables
see Section~\ref{universe-section}.}$

TRUTH_TABLE


$\textstyle \parbox{110mm}{
Functions can be defined by their truth table using {\tt
TRUTH\_TABLE}. Syntax for this manipulator is}$


truth_table ( <#vars> <var> ... <var> <TF-string> )


$\textstyle \parbox{110mm}{
where {\tt <var>} are variables, {\tt <\char93 vars>...
...2^{\tt <\char93 vars>}$\ symbols in the {\tt
<TF-string>}. An example is this:}$


truth_table(3 x1 x2 x3 TTFFTFFT)

MINMAX


$\textstyle \parbox{110mm}{
The syntax of this function is as follows:}$


minmax ( <min_#> <max_#> <blank_separated_var_list> )


$\textstyle \parbox{110mm}{
where the first two arguments are positive integers....
...in the {\tt <...\_var\_list>} have value {\em T}. The
following is an example,}$


minmax(1, 3, x13, x12, x11, x10)


$\textstyle \parbox{110mm}{
which has value {\em T} if at least 1 and no more th...
...e {\tt PRINT\_TREE} directive below to view the truth table for
this function.}$

SAFE


$\textstyle \parbox{110mm}{
The syntax of this function is as follows:}$


safe ( <function> <variable> )


% latex2html id marker 10333
$\textstyle \parbox{110mm}{
This function returns ...
...). For more information about safe assignments see
Section~\ref{safe-section}.}$



John Franco 2011-09-15