0:00
中级真值表真值表

完成表达式 A ∧ (A ∨ B) 的真值表

这演示了 与 的吸收律。为真值表中的每一行选择 ⊤ (真) 或 ⊥ (假)。

ABA & (A | B)