**逻辑与（AND）** 是一个二元操作，用符号 $\land$ 表示。当两个命题通过逻辑与操作连接时，会形成一个新的命题，其值取决于操作数的真值。让我们看一下由两个命题 $p$ 和 $q$ 使用 AND 操作符构成的新命题的取值情况。在下面的表格中，称为真值表，我们用 "T" 表示真，用 "F" 表示假：

|*$p$*| *$q$* | *$p\land q$*| |-|-|-| |T | T| T| |T | F| F| |F | T| F| |F | F| F|

**逻辑或（OR）** 是一个二元操作，用符号 $\lor$ 表示。当两个命题通过逻辑或操作连接时，会形成一个新的命题，其值取决于操作数的真值。让我们进一步通过以下真值表来分析逻辑或操作：

|*$p$*| *$q$* | *$p\lor q$*| |-|-|-| |T | T| T| |T | F| T| |F | T| T| |F | F| F|

NOT 的一元操作符符号为 $\neg$。一个命题的 **NOT** 即为其否定，是一个具有相反真值的新命题。让我们看一下该操作的真值表：

|*$p$*| *$\neg p$* | |-|-|-|-| |T | F| |F | T|