# 逻辑运算符

## 基本運算符

P Q ¬P PQ PQ PQ PQ
T T F T T T T
T F F F T F F
F T T F T T F
F F T F F T T

## 二元邏輯聯結詞表

$\bot$ P $\wedge$ ¬P
 Q 0 1 P 0 0 0 1 0 0

$\top$ P $\vee$ ¬P
 Q 0 1 P 0 1 1 1 1 1

P $\wedge$ Q
P & Q
P · Q
P AND Q
P $\not\rightarrow$¬Q
¬P $\not\leftarrow$ Q
¬P $\downarrow$ ¬Q
 Q 0 1 P 0 0 0 1 0 1

PQ
P | Q
P NAND Q
P → ¬Q
¬PQ
¬P ∨ ¬Q
 Q 0 1 P 0 1 1 1 1 0

P $\not\rightarrow$ Q
P $\not\supset$ Q
P & ¬Q
¬PQ
¬P $\not\leftarrow$ ¬Q
 Q 0 1 P 0 0 0 1 1 0

PQ
P $\supset$ Q
P ↑ ¬Q
¬PQ
¬P ← ¬Q
 Q 0 1 P 0 1 1 1 0 1

P
 Q 0 1 P 0 0 0 1 1 1

¬P
~P
 Q 0 1 P 0 1 1 1 0 0

P $\not\leftarrow$ Q
P $\not\subset$ Q
P ↓ ¬Q
¬P & Q
¬P $\not\rightarrow$ ¬Q
 Q 0 1 P 0 0 1 1 0 0

P $\leftarrow$ Q
P $\subset$ Q
P ∨ ¬Q
¬PQ
¬P → ¬Q
 Q 0 1 P 0 1 0 1 1 1

Q
 Q 0 1 P 0 0 1 1 0 1

¬Q
~Q
 Q 0 1 P 0 1 0 1 1 0

P $\not\leftrightarrow$ Q
P $\not\equiv$ Q
P $\oplus$ Q
P XOR Q
P ↔ ¬Q
¬PQ
¬P $\not\leftrightarrow$ ¬Q
 Q 0 1 P 0 0 1 1 1 0

PQ
PQ
P XNOR Q
P IFF Q
P $\not\leftrightarrow$ ¬Q
¬P $\not\leftrightarrow$ Q
¬P ↔ ¬Q
 Q 0 1 P 0 1 0 1 0 1

PQ
P  Q
P OR Q
P $\leftarrow$ ¬Q
¬PQ
¬P ↑ ¬Q
 Q 0 1 P 0 0 1 1 1 1

PQ
P NOR Q
P $\not\leftarrow$ ¬Q
¬P $\not\rightarrow$ Q
¬P ∧ ¬Q
 Q 0 1 P 0 1 0 1 0 0

（文件） （文件） （放大）