Boolean Logic

You know what it is! We did it in MATA67.

Example

Letting $A,B,C,D$ be predicates, $A\wedge B\vee C\wedge D$ is a boolean expression (true or false).