即在有补格中求补元(complement)的过程。
设 <math>(L, vee, wedge, 0, 1)</math> 是一个有界格,<math>a in L</math>,若存在 <math>b in L</math> 使得 <math>a wedge b = 0</math> 且 <math>a vee b = 1</math>,则称 <math>b</math> 是 <math>a</math> 的补元。
在布尔代数中,补运算相当于逻辑非运算。在集合论中,补运算相当于补集运算。
笑话军事旅游美容女性百态母婴家电游戏互联网财经美女干货家饰健康探索资源娱乐学院 数码美食景区养生手机购车首饰美妆装修情感篇厨房科普动物植物编程百科知道汽车珠宝 健康评测品位娱乐居家情感星座服饰美体奢侈品美容达人亲子图库折扣生活美食花嫁风景 | 首页 |
即在有补格中求补元(complement)的过程。
设 <math>(L, vee, wedge, 0, 1)</math> 是一个有界格,<math>a in L</math>,若存在 <math>b in L</math> 使得 <math>a wedge b = 0</math> 且 <math>a vee b = 1</math>,则称 <math>b</math> 是 <math>a</math> 的补元。
在布尔代数中,补运算相当于逻辑非运算。在集合论中,补运算相当于补集运算。