当前位置:新励学网 > 秒知问答 > 离散数学等值演算公式

离散数学等值演算公式

发表时间:2024-07-15 23:14:01 来源:网友投稿

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(归谬论)

免责声明:本站发布的教育资讯(图片、视频和文字)以本站原创、转载和分享为主,文章观点不代表本网站立场。

如果本文侵犯了您的权益,请联系底部站长邮箱进行举报反馈,一经查实,我们将在第一时间处理,感谢您对本站的关注!