∨
∧