Logic （逻辑）使用真值表确定语句是否正确

我正在努力准备期中考试，我需要帮助找出解决这个问题的方法。它说：

使用任意选项确定以下语句是否正确 合法的真值表技术

~A∨ （B）→ C） ，E→ （B&A）、C→ E      |=C↔ A

我为每一个陈述做了一个真值表，但我不知道主连接词与其他陈述中的其他连接词之间的关系

我想我必须做一张联合桌，但我真的不知道从哪里开始。如果有人能帮我理解，我将不胜感激

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)

看看这是不是同义反复
谢谢你的回复！你从哪里得到的D？我只是在陈述逻辑的一般原理。接下来是你的特殊问题。你能详细说明一下你为什么这么做吗？我并不想让人讨厌，但这对我来说还是没有多大意义。