离散数学里的逻辑运算符
∨是析取符号
∧是合取符号
假如有两个命题P和Q,当且仅当P,Q同时为F是,P∨Q的真值为F,否则为T；当且仅当P,Q同时为T是,P∧Q为T,在其他情况下,P∧Q的真值为F.
然后,析取∨可以理解为“可兼或”,合取∧可以理解为“且”.