| 逻辑运算 | 逻辑与 | 逻辑或 | 逻辑非 |
| 符号 | · | + | ¯ |
| 0 · 0 =0 0 · 1 =0 1 · 0 =0 1 · 1 =1 | 0 + 0 = 0 0 + 1 = 1 1 + 0 = 1 1 + 1 = 1 | 非(0)=1 非(1)=0 |
| 零元 x · 0 = 0, x + 1 = 1 | 单位元 x· 1 = x, x + 0 = x |
| 幂等律 x· x = x, x + x = x | 补余律 x· 非(x) = 0, x + 非(x) = 1 |
| 双重否定 非(非x) = x | 交换律 x · y = y · x, x + y = y + x |
| 结合律 (x·y)·z = x·(y·z), (x+y) + z = x + (y+z) | 分配律 x·(y+z)=(x·y)+(x·z), x+(y·z)=(x+y)·(x+z) |
| 吸收律 x + (x · y) = x, x· (x + y) = x | 德摩根定律 非(x+y)=非(x)·非(y),非(x·y)=非(x)+非(y) |
举报
更多回帖