【一元真值函数分别是】在数理逻辑的框架里，讨论命题演算时绕不开真值函数这个概念。简单来说，一元真值函数就是指只依赖一个输入命题 $p$ 的输出规则。既然 $p$ 只有“真”和“假”这两种可能取值，输出的结果也只能是这两种，那排列组合下来，一共能构成的映射关系并不多，总共也就四种。
很多时候大家觉得枯燥，是因为容易陷入符号记忆。其实换个角度想，这四个函数对应了我们对输入信息处理的四种态度：要么忽略输入直接给个固定结果，要么原样照搬，要么把它翻个面，再就是完全对立面。理解了这层逻辑，后面接触复杂的二阶运算或者逻辑电路设计时，脑子里的底子就清楚了。不需要去死磕每一个符号的定义，重点在于把握它们与输入 $p$ 的真值表关系。
下面把这四种基本情况梳理了一下，方便对照查看：
| 函数名称 | 常用符号表示 | 核心特征描述 | 真值表现 (输入->输出) |
| : | : | : | : |
| 恒真函数 | $\top$ 或 $J(p)$ | 根本不在乎输入是什么，永远返回真 | 假→真，真→真 |
| 恒等函数 | $Id$ 或 $I(p)$ | 输入多少就是多少，相当于没变过 | 假→假，真→真 |
| 否定函数 | $\neg$ 或 $\sim p$ | 最经典的操作，把真假完全反过来 | 假→真，真→假 |
| 恒假函数 | $\bot$ 或 $E(p)$ | 无论输入什么，强制判定为假 | 假→假，真→假 |
看完这张表应该能发现，除了否定和恒等是直接跟输入挂钩的，另外两个恒真和恒假其实更像是常数项，但在形式上它们确实构成了一元函数的完备集。这在构建完整的逻辑系统时非常重要，因为任何复杂的一元逻辑表达式，本质上都可以分解为这四类的组合。如果你是在复习离散数学或者准备相关考试，建议多结合具体的真值表画一下图，视觉化的对比比单纯背文字定义更有效，理解起来也更自然些。