1 基本概念
1.1 定义
逻辑等值是指两个命题或公式在所有可能赋值下都具有相同的真值。若记作 \(A\) 与 \(B\)，则当且仅当对任意解释或赋值，\(A\) 与 \(B\) 的真值总是一致时，称二者逻辑等值。它强调的是语义上的完全一致，而不仅是表面形式相同。
1.2 语义解释
从语义角度看，逻辑等值表示两个表达式描述的是同一组情形：在每一种可能的情况下，要么同时为真，要么同时为假。由于真值表现完全同步，它们在推理系统中可以视作可互换的表达式。
1.3 逻辑等值与真值恒定
逻辑等值与“真值恒定”密切相关。若一个表达式与某个恒真式等值，则它本身也是恒真式；若与某个恒假式等值，则它在所有赋值下都为假。由此可见，逻辑等值不仅比较两个公式之间的关系，也可用于判断公式是否具有固定真值性质。
1.4 逻辑等值与可替换性
如果两个表达式逻辑等值，那么在不改变整体真值的前提下，可以在任何上下文中相互替换。这种可替换性是逻辑化简和形式推导的重要基础，也是许多证明步骤能够局部变形而不影响结论的原因。
2 表示方式
2.1 符号表示
逻辑等值通常记为 \(A \equiv B\) 或 \(A \leftrightarrow B\) 的语义层面版本。前者多用于强调等值关系本身，后者常用于表示两个命题在真值上相互对应。具体使用时需结合上下文区分“等值”与“联结词双条件”。
2.2 双向蕴含表示
逻辑等值也可写成 \(A \rightarrow B\) 且 \(B \rightarrow A\)。这说明二者彼此都能推出对方，因此在逻辑内容上完全一致。双向蕴含是逻辑等值最常见的等价表达之一。
2.3 公式等值表示
在形式系统中，常将逻辑等值写作“\(A\) 与 \(B\) 等值”或“\(A\) 和 \(B\) 可互相推出”。这种表达方式适合在证明中记录中间步骤，尤其便于展示每一次变形所依据的规则。
2.4 语言表述中的等值关系
在自然语言中，逻辑等值常被表述为“如果且仅如果”“当且仅当成立”“与……等价”等。日常语言往往比形式语言更灵活，但也更容易出现歧义，因此在严格推理中通常要转写为精确的逻辑公式。
3 常见逻辑等值定律
3.1 恒等律与零律
恒等律指出：\(P \land \text{真} \equiv P\)，\(P \lor \text{假} \equiv P\)。零律则表明：\(P \land \text{假} \equiv \text{假}\)，\(P \lor \text{真} \equiv \text{真}\)。这两类定律反映了真、假的“单位元”与“吸收”作用。
3.2 否定律
否定律说明命题与其否定不可能同时为真，也不可能同时为假。典型形式包括 \(P \land \neg P \equiv \text{假}\) 和 \(P \lor \neg P \equiv \text{真}\)。它们分别对应矛盾与排中情形。
3.3 双重否定律
双重否定律写作 \(\neg\neg P \equiv P\)。它表示对命题连续取两次否定，最终不会改变其逻辑内容。在经典逻辑中，这是一条基础且高频使用的等值定律。
3.4 交换律
交换律表明，合取与析取的次序可以交换而不影响结果，即 \(P \land Q \equiv Q \land P\)，\(P \lor Q \equiv Q \lor P\)。因此，连接顺序只改变书写方式，不改变语义。
3.5 结合律
结合律指出，多个同类联结词的括号位置不影响整体真值，例如 \((P \land Q)\land R \equiv P \land (Q \land R)\)。析取同样满足结合律。这使得长公式的结构更便于整理与化简。
3.6 分配律
分配律给出合取与析取之间的展开关系，如 \(P \land (Q \lor R) \equiv (P \land Q)\lor(P \land R)\)，以及 \(P \lor (Q \land R) \equiv (P \lor Q)\land(P \lor R)\)。它在化简公式和转换范式时非常常用。
3.7 德摩根律
德摩根律描述否定与联结词之间的转换：\(\neg(P \land Q)\equiv \neg P \lor \neg Q\)，\(\neg(P \lor Q)\equiv \neg P \land \neg Q\)。它常用于把否定号“下推”到原子命题层面。
3.8 吸收律
吸收律指出某些重复结构可被更简单的部分“吸收”，例如 \(P \lor (P \land Q)\equiv P\)，\(P \land (P \lor Q)\equiv P\)。这类定律常用于删除冗余分支。
3.9 幂等律
幂等律表明重复连接同一命题不会增加信息量：\(P \land P \equiv P\)，\(P \lor P \equiv P\)。它反映了逻辑中“重复不增益”的基本特征。
3.10 蕴含等值定律
3.10.1 条件命题的展开
条件命题 \(P \rightarrow Q\) 常可等值改写为 \(\neg P \lor Q\)。这一展开把“若前件成立，则后件成立”的关系转化为析取形式，便于进一步化简或推理。
3.10.2 逆否命题等值
逆否命题与原命题等值，即 \(P \rightarrow Q \equiv \neg Q \rightarrow \neg P\)。这一结论在证明中非常重要，常用于把难以直接证明的命题转换为更容易处理的形式。
3.11 等值转化中的常用恒等式
在实际推导中，还常用一些组合性恒等式，例如将条件命题与德摩根律联用，或把双条件拆分为两个蕴含。此类恒等式未必单独成定律，但在等值变形链条中极为常见。
4 证明与判定
4.1 真值表法
真值表法通过列出所有可能赋值，逐项比较两个公式的真值是否完全一致。若每一行都相同，则可判定二者逻辑等值。这种方法直观可靠，尤其适合变量较少的公式。
4.2 等值变形法
等值变形法依靠已知定律将公式逐步改写，直到两边化为同一形式，或从一式变到另一式。它适合结构较复杂但可分步处理的公式，也是手工证明中最常见的方法之一。
4.3 形式证明法
形式证明法在公理系统或自然演绎系统中，通过严格规则证明两个表达式互相推出，从而得到等值结论。此法强调推理的可验证性，适用于需要严谨论证的场景。
4.4 反例检验法
若要判断两个公式是否不等值，寻找一个赋值使它们真值不同即可。一个反例就足以否定等值关系，因此该方法常用于快速排除错误猜想。
4.5 使用标准范式判定
将公式化为主析取范式、主合取范式或其他标准范式后，若规范形式一致，则通常可判定它们等值。标准范式便于机械化比较，也常用于计算机辅助验证。
5 逻辑等值在不同逻辑系统中的表现
5.1 命题逻辑中的逻辑等值
在命题逻辑中，逻辑等值主要处理由命题变元和联结词构成的公式。此时等值关系完全由真值赋值决定，因而真值表和等值定律都具有直接适用性。
5.2 谓词逻辑中的逻辑等值
5.2.1 量词下的等值变形
谓词逻辑中的等值不仅涉及联结词，还涉及量词的转换。例如，否定可与全称量词、存在量词互换位置，形成相应的等值式。量词变形在证明中经常用于调整命题结构。
5.2.2 自由变元与绑定变元的影响
谓词公式中，自由变元与绑定变元的区分会影响等值判断。若变量替换不当，可能改变公式所表达的对象范围，因此在进行量词变形时需要注意变量约束条件。
5.3 模态逻辑中的等值概念
在模态逻辑里，等值的判断不再只看单一真值赋值，还要考虑可能世界及可达关系等语义结构。某些在命题逻辑中成立的等值式，在模态环境中未必自动成立，因此判断标准更为细致。
5.4 布尔代数中的对应关系
在布尔代数中，逻辑等值对应代数上的相等关系。合取、析取、否定分别对应代数运算，逻辑恒真式和恒假式也对应特殊元。这种对应使逻辑化简可以借助代数方法完成。
6 应用
6.1 逻辑推理与证明简化
逻辑等值可把复杂命题改写为更容易处理的形式，从而简化证明过程。许多演绎步骤本质上就是在等值定律支持下进行局部替换。
6.2 数学命题的改写
数学证明中常需要把“若……则……”改写为逆否命题，或将否定条件拆开处理。逻辑等值提供了稳定的转写工具，使命题更适合后续推导。
6.3 数字电路与布尔函数化简
在数字电路设计中，逻辑等值用于化简门电路结构，减少门数、降低延迟并提升实现效率。布尔表达式经等值变形后，往往可以得到更经济的电路方案。
6.4 计算机科学中的公式优化
编译器、验证器和自动推理系统常利用逻辑等值对条件表达式、断言和约束进行优化。通过消去冗余分支或合并重复条件，可以提高执行效率和分析性能。
6.5 日常语言中的等价改写
在日常交流中，人们常把复杂句子改写成意思相同但更简洁的表达，例如把条件句转成逆向表述。虽然自然语言不如形式逻辑精确，但其“可等价改写”的思路与逻辑等值相通。
7 相关概念辨析
7.1 逻辑等值与蕴含
蕴含只要求前者为真时后者为真，而逻辑等值要求双方真值完全一致。换言之，等值比单向蕴含更强，必须同时满足两个方向的蕴含。
7.2 逻辑等值与充要条件
“充要条件”通常对应双向蕴含，而逻辑等值在形式上与之非常接近。严格来说，若两个命题在同一解释下总是互为充要条件，则它们就是逻辑等值的。
7.3 逻辑等值与同义关系
自然语言中的同义关系侧重词语或句子的意义相近，不一定具备严格的真值同步性。逻辑等值则要求在所有情形下真值一致，因此比一般同义更精确、更严格。
7.4 逻辑等值与命题恒真
命题恒真是指公式在所有赋值下都为真；逻辑等值则是两个公式之间的关系。一个命题若与恒真式等值，便可判断其本身恒真，但二者概念并不相同。
7.5 逻辑等值与可满足性
可满足性关注公式是否存在至少一个赋值使其为真，而逻辑等值要求所有赋值下的真值结构完全一致。前者是“是否有解”的问题，后者是“是否同解型”的问题。
8 经典例题与常见误区
8.1 基础等值练习
常见基础练习包括将 \(P \rightarrow Q\) 改写为 \(\neg P \lor Q\)，或利用德摩根律化简含否定的复合公式。此类题目主要考查对基本定律的熟悉程度。
8.2 复杂公式的等值化简
复杂公式通常需要先消去蕴含、再下推否定、最后应用分配律或吸收律。化简时应注意步骤顺序，避免因提前展开导致式子更臃肿。
8.3 易混淆的非等值情形
一些看似相近的公式其实并不等值，例如把 \(P \rightarrow Q\) 误认为 \(Q \rightarrow P\)，或把 \(\neg(P \lor Q)\) 错写成 \(\neg P \lor \neg Q\)。这些错误往往源于对定律方向的混淆。
8.4 常见推理错误
常见错误包括把“若前件则后件”倒推为“若后件则前件”，或在量词作用域内随意移动否定号。还有一种错误是忽视变量绑定关系，从而把原本不同的公式误判为等值。
8.5 记忆与应用技巧
记忆逻辑等值时，可先掌握少数核心定律，再通过真值表验证关键公式。应用时则建议按“先消去复杂联结词、再处理否定、最后合并同类项”的思路逐步推进，这样更不易出错。