Manipulators

 GCF


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


gcf <function> <cofactor>


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

STRENGTHEN


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


strengthen <function>_1 <function>_2


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

PRUNE


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


prune <function>_1 <function>_2


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

EXIST


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


exist <function> <variable>


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

UNIVERSE


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


universe <function> <variable>


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

TRUTH_TABLE


$\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>


$\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


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


minmax <#args> <min_#> <max_#> <blank_separated_var_list>


$\parbox{110mm}{ where the first three arguments are positive integer... ...umber of variables in the {\tt <...\_var\_list>}. The following is an example,}$


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


$\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


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


safe <function> <variable>


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