∧, called conjunction, is a logical AND, such as: P∧Q if and only if both p and q are true (t), the result is true, and the rest are false (f).

∨ is called disjunction, which is a logical OR, such as p ∨ q. If and only if both p and q are f, the result is false and the rest are true.

Logical but not