Back to ComputerTerms
A ground boolean term is a boolean term that does not contain variables.
see also MonotoneBooleanTerm
SEE ALSO
Back to ComputerTerms
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 (last edited 2003-11-04 00:50:41 by yakko)