逻辑与真值表

选择和配置逻辑公式

生成的真值表

逻辑表达式定义和规则

💡命题逻辑符号规则

• 和∧： 仅当 P 和 Q 都为真 (T) 时才为真 (T)。
• 或∨： 如果 P 或 Q 至少其中之一为真 (T)，则为真 (T)。
• 意味着⇒： 仅当 P 为 True (T) 并且 Q 为 False (F) 时，才为 False (F)；否则为真 (T)。
• 异或⊕： 仅当 P 和 Q 的真值不同时才为 True (T)。