$a \lor \left(b \lor c\right) = \left(a \lor b\right) \lor c$ $a \l昸and \left(b \land c\right) = \left(a \land b\right) \land c$ 结合律

$a \lor b = b \lor a$ $a \land b = b \land a$ 交换律

$a \lor \left(a \land b\right) = a$ $a \land \left(a \lor b\right) = a$ 吸收律

$a \lor \left(b \land c\right) = \left(a \lor b\right) \land \left(a \lor c\right)$ $a \land \left(b \lor c\right) = \left(a \land b\right) \lor \left(a \land c\right)$ 分配律

$a \lor \lnot a = 1$ $a \land \lnot a = 0$ 互补律

$a \lor a = a$ $a \land a = a$ 等幂律

$a \lor 0 = a$ $a \land 1 = a$ 有界律

$a \lor 1 = 1$ $a \land 0 = 0$

$\lnot 0 = 1$ $\lnot 1 = 0$ 0 和 1 是互补的

$\lnot \left(a \lor b\right) = \lnot a \land \lnot b$ $\lnot \left(a \land b\right) = \lnot a \lor \lnot b$ de Morgan 定律

$\lnot \lnot a = a$ 卷绕律(involution

$\cap$ 0 1

0 0 0

1．0 1

$\cup$ 0 1

0 0 1

1．1 1

x 替+ y = 2

x - y = 2

x + y < 2

x - y < 2

X < 2

X = 2

WIDTH = 3

WIDTH = -3

1 非（NOT)

2 与 ( AND)

3 或 （OR)

4 异或 （XOR)

© 2020 haodianxin 百科 消耗时间:0.288秒 内存2.48MB