∧（逻辑与）

将两个表达式连接成一个。两个表达式必须都为 $true$，整个表达式才为 $true$

∨（逻辑或）

将两个表达式连接成一个。必须有一个或两个表达式为 $true$，才能使整个表达式为 $true$。只要其中有一个为 $true$，那么另外一个就变得无关紧要

¬（逻辑非）

反转一个表达式的“真相”。它使一个表达式从 $true$ 变成了 $false$，或者从 $false$ 变成了 $true$