离散数学中的等值演算公式
1个回答
2019-07-19
展开全部
等值演算公式,
1,A可为非非A(双重否定律)
2,A可为AVA(幂等律)
3,A可为A^A(幂等律)
4,AVB可为BVA(交换律)
5,A^B可为B^A(交换律)
6,AV(BVC)可为(AVB)VC(结合律)
7,A^(B^C)可为(A^B)^C(结合律)
8,AV(B^C)可为(AVB)^(AVC)(分配律)
9,A^(BVC)可为(A^B)V(A^C)(分配律)
10,非(AVB)可为非A^非B(德摩根律)
11,非(A^B)可为非AV非B(德摩根律)
12,AV(A^B)可为A(吸收律)
13,A^(AVB)D可为A(吸收律)
14,AV1可为1(零一律)
15,A^0可为0(零一律)
16,AV0可为A(同一律)
17,A^1可为A(同一律)
18,A^非A可为0(矛盾律)
19,AV非A可为1(排中律)
20,A→B可为非AVB(蕴含等值式)
21,A等价B可为(A→B)^(B→A)(等价等值式)
22,A→B可为非A等价非B(假合易位)
23,A等价B可为非A等价B(双条件否定等值式)
24,(A→B)^(A→非B)可为非A(归谬论)
(1,0分别代表永真式,永假式)
望采纳,谢谢。
1,A可为非非A(双重否定律)
2,A可为AVA(幂等律)
3,A可为A^A(幂等律)
4,AVB可为BVA(交换律)
5,A^B可为B^A(交换律)
6,AV(BVC)可为(AVB)VC(结合律)
7,A^(B^C)可为(A^B)^C(结合律)
8,AV(B^C)可为(AVB)^(AVC)(分配律)
9,A^(BVC)可为(A^B)V(A^C)(分配律)
10,非(AVB)可为非A^非B(德摩根律)
11,非(A^B)可为非AV非B(德摩根律)
12,AV(A^B)可为A(吸收律)
13,A^(AVB)D可为A(吸收律)
14,AV1可为1(零一律)
15,A^0可为0(零一律)
16,AV0可为A(同一律)
17,A^1可为A(同一律)
18,A^非A可为0(矛盾律)
19,AV非A可为1(排中律)
20,A→B可为非AVB(蕴含等值式)
21,A等价B可为(A→B)^(B→A)(等价等值式)
22,A→B可为非A等价非B(假合易位)
23,A等价B可为非A等价B(双条件否定等值式)
24,(A→B)^(A→非B)可为非A(归谬论)
(1,0分别代表永真式,永假式)
望采纳,谢谢。
Sievers分析仪
2024-10-13 广告
2024-10-13 广告
是的。传统上,对于符合要求的内毒素检测,最终用户必须从标准内毒素库存瓶中构建至少一式两份三点标准曲线;必须有重复的阴性控制;每个样品和PPC必须一式两份。有了Sievers Eclipse内毒素检测仪,这些步骤可以通过使用预嵌入的内毒素标准...
点击进入详情页
本回答由Sievers分析仪提供
推荐律师服务:
若未解决您的问题,请您详细描述您的问题,通过百度律临进行免费专业咨询