Logical operation in which the operands and the results only take two values: true or false.

Generally, we use the symbols 0 and 1 instead of true and false.

### Example

Consider two propositions P and Q and the propositional form (P ∨ Q).

If P is false and Q is true, then (P ∨ Q) is true.