$$\large{\displaylines{\begin{array}{c|l} {\color{#ff7800}\neg p} & \overline{p}, \ !p, \ \sim p \\ {\color{#ff7800}\land} & \And \And, \ \And, \ \cdot, \ \mathrm{AND} \\ {\color{#ff7800}\lor} & ||, \ |, \ \mathrm{OR} \\ {\color{#ff7800}\leftrightarrow} & \equiv \\ {\color{#ff7800}\oplus} & \hat{}, \ \mathrm{XOR} \\ {\color{#ff7800}\mid} & \uparrow, \ \mathrm{NAND} \\ {\color{#ff7800}\downarrow} & \mathrm{NOR} \end{array}}}$$

Логические постоянные

Специальные символы в логике

Союзы (связки): $\neg$ (не), $\land$ (и), $\lor$ (или), $\to$ (если, то), $\leftrightarrow$ (то же самое, что), $\oplus$ (исключающее или), $\mid$ (и-не), $\downarrow$ (или-не)
Кванторы: $\forall$ (все), $\exists$ (существует такой, что)
Скобки: круглые и квадратные скобки
Константы истинности: $\top$ (истина), $\bot$ (ложь)

. . . логические постоянные