Back to ComputerTerms A ground boolean term is a boolean term that does not contain variables. see also MonotoneBooleanTerm SEE ALSO * BooleanAlgebra Back to ComputerTerms