离散数学等值演算公式

 我来答
世纪网络17
2022-10-02 · TA获得超过5948个赞
知道小有建树答主
回答量:2426
采纳率:100%
帮助的人:142万
展开全部
A可为非非A(双重否定律);
A可为AVA(幂等律);
A可为A^A(幂等律);
AVB可为BVA(交换律)

扩展资料

  A^B可为B^A(交换律);

  AV(BVC)可为(AVB)VC(结合律);

  A^(B^C)可为(A^B)^C(结合律);

  AV(B^C)可为(AVB)^(AVC)(分配律);

  A^(BVC)可为(A^B)V(A^C)(分配律);

  非(AVB)可为非A^非B(德摩根律);

  非(A^B)可为非AV非B(德摩根律);

  AV(A^B)可为A(吸收律);

  A^(AVB)D可为A(吸收律);

  AV1可为1(零一律);

  A^0可为0(零一律);

  AV0可为A(同一律);

  A^1可为A(同一律);

  A^非A可为0(矛盾律);

  AV非A可为1(排中律);

  A→B可为非AVB(蕴含等值式);

  A等价B可为(A→B)^(B→A)(等价等值式);

  A→B可为非A等价非B(假合易位);

  A等价B可为非A等价B(双条件否定等值式);

  (A→B)^(A→非B)可为非A(归谬论)

推荐律师服务: 若未解决您的问题,请您详细描述您的问题,通过百度律临进行免费专业咨询

为你推荐:

下载百度知道APP,抢鲜体验
使用百度知道APP,立即抢鲜体验。你的手机镜头里或许有别人想知道的答案。
扫描二维码下载
×

类别

我们会通过消息、邮箱等方式尽快将举报结果通知您。

说明

0/200

提交
取消

辅 助

模 式