命题逻辑基本等价公式
来源:互联网 发布:三人行网络教育 编辑:程序博客网 时间:2024/04/28 13:45
基本等价公式:设P、Q、R是任意公式,则:
1. (P←→Q) = (P→Q)∧(Q→R)
2. P→Q = ┐P∨Q
其他: (P→Q)∧(P→┐Q) = ┐P ;
(P←→Q) = (┐P←→┐Q)
幂等律: P∨P = P ;P∧P = P
交换律: P∨Q = Q∨P ; P∧Q = Q∧P
结合律: P∨(Q∨R) = (P∨Q)∨R ; P∧(Q∧R) = (P∧Q)∧R
吸收律: P∨(P∧Q) = P ; P∧(P∨Q) = P
分配律: P∨(Q∧R) = (P∨Q)∧(P∨R)
P∧(Q∨R) = (P∧Q)∨(P∧R)
同一律: P∨0 = P ; P∧1 = P
零律: P∨1 = 1 ; P∧0 = 0
排中律: P∨┐P = 1
否定律: P∨┐P = 1 ; P∧┐P = 0
双重否定:┐(┐P) = P 也叫对合律
德·摩律: ┐(P∨Q) = ┐P∧┐Q ; ┐(P∧Q) = ┐P∨┐Q
0 0
- 命题逻辑基本等价公式
- 数理逻辑:命题逻辑(2)命题逻辑公式
- Discrete Mathematics——02 命题逻辑等价与联接词完备
- 数理逻辑:谓词演算(10)等价公式
- 数理逻辑:命题演算(8)命题逻辑公式与命题演算公式 (尚缺,待补)
- 数理逻辑:命题逻辑(3)永真公式与可满足公式
- 用lex和yacc实现检测命题逻辑公式并将公式写进内存
- 【高等数学】—基础求导公式、等价无穷小转换公式
- 数理逻辑:命题演算(6) 等价公式 (尚缺,待补)
- 命题逻辑推理
- 命题逻辑基本概念
- 命题逻辑几道题
- 命题逻辑-1
- 命题逻辑-2
- 信息论基本公式汇总
- 排列组合基本公式
- 对数运算基本公式
- CNN基本公式
- 黑马程序员_基础知识2
- 清明放假小赶脚
- 读书的作用
- 遍历清空指定控件
- poj 3311 Hie with the Pie(floyd + 状压dp)
- 命题逻辑基本等价公式
- java clone技术 浅谈
- android--通过广播启动另一个应用的Activity
- activity-alias的使用
- Spring学习(第一篇)——spring简介
- 美用减少驻军利诱中国施压朝鲜?专家:不理会
- 周报总结
- Android测试基础整理篇
- Redhat 中安装centosYUM 源