Formulas for Booleans

Built-in formulas that operate on booleans:

not

This operator negates a boolean:

and

This binary operator takes two booleans and results true if and only if both arguments are true:

or

This binary operator takes two booleans and results false if and only if both arguments are false: