相关逻辑判断符号内容： 蕴含（A⊨B）：所有使 A 为真的赋值，都能使 B 为真（没有 A 真而 B 假的情况）。 等价（A≡B）：A⊨B 且 B⊨A（两者真值表完全一致）。 可满足性（satisfiable）：存在至少一组赋值使该公式为真。 合取（∧）：全真才真；析取（∨）：一真就真；否定（¬）：真假互换