Vocabulary
boolean-expr

Class description
Logical tautology. This statement is unconditionally true.

Definition