我正在努力学习我的期中考试，我需要帮助找出解决这个问题的方法。它说：
使用any确定以下语句是否正确 合法的真值表技术。
~A∨（B→C），E→（B＆amp; A），C→E | =C↔A
我为每个陈述制作了一个真值表，但我不知道主要的连词如何与其他陈述中的其他连接词相关联。
我想我必须制作一个联合表，但我真的不知道从哪里开始。如果有人能帮助我理解，我将不胜感激！
答案 0 :(得分：1)
A,B,C |= D 表示如果A，B，C都为真，那么D也是如此。但是，这正是表达式(A & B & C) -> D所说的。因此A,B,C |= D是真的，当且仅当(A & B & C) -> D是重言式时。换句话说，连词->捕获|=的含义。对于您的问题，您可以为复合表达式制作真值表
[(~A ∨ (B → C)) & (E → (B & A)) & (C → E)] -> (C ↔ A)
并查看它是否是重言式