⇤ ← Revision 1 as of 2003-11-04 00:22:51
Size: 159
Comment:
|
← Revision 2 as of 2003-11-04 00:50:41 ⇥
Size: 193
Comment:
|
Deletions are marked like this. | Additions are marked like this. |
Line 7: | Line 7: |
SEE ALSO * BooleanAlgebra |
Back to ComputerTerms
A ground boolean term is a boolean term that does not contain variables.
see also MonotoneBooleanTerm
SEE ALSO
Back to ComputerTerms