Back to ComputerTerms
A ground boolean term is a boolean term that does not contain variables.
see also MonotoneBooleanTerm
SEE ALSO
Back to ComputerTerms
GroundBooleanTerm
Revision 2 as of 2003-11-04 00:50:41
Clear message
Back to ComputerTerms
A ground boolean term is a boolean term that does not contain variables.
see also MonotoneBooleanTerm
SEE ALSO
Back to ComputerTerms