Back to ComputerTerms

A monotone boolean term is a boolean term that does not contain the ' (complement) operator, except for constant elements (line false' or true')

Back to ComputerTerms