논리연산,logical_operation

논리연산,logical_operation (rev. 1.6)

conjunction logical_conjunction AND
∧ \wedge

disjunction logical_disjunction OR (inclusive_disjunction)
∨ \vee

exclusive_disjunction (XOR) exclusive_or
NNOR
NOR
tautology, true
⊤ \top

contradiction
⊥ \bot