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.