命题逻辑的基础等价公式

这篇博客详细介绍了布尔代数的11条基本定律,包括对合律、幂等律、交换律、结合律、分配律、吸收率、德摩根律、同一律、零率、互补律以及蕴含和等价的定律。这些定律在逻辑推理和计算机科学中起着核心作用。

1.对合律
¬¬P⇔P \neg\neg P\Leftrightarrow P¬¬PP
2.幂等律
P∨P⇔P      P∧P⇔P P\vee P\Leftrightarrow P\;\;\;P\wedge P\Leftrightarrow PPPPPPP
3.交换律
P∨Q⇔Q∨P      P∧Q⇔Q∧P P\vee Q\Leftrightarrow Q\vee P\;\;\;P\wedge Q\Leftrightarrow Q\wedge PPQQPPQQP
4.结合律
P∨(Q∨R)⇔(P∨Q)∨R              P∧(Q∧R)⇔(P∧Q)∧R P\vee(Q\vee R)\Leftrightarrow(P\vee Q)\vee R\;\;\;\;\;\;\;P\wedge(Q\wedge R)\Leftrightarrow(P\wedge Q)\wedge RP(QR)(PQ)RP(QR)(PQ)R
5.分配律
P∨(Q∧R)⇔(P∨Q)∧(P∨R)            P∧(Q∨R)⇔(P∧Q)∨(P∧R) P\vee(Q\wedge R)\Leftrightarrow(P\vee Q)\wedge(P\vee R)\;\;\;\;\;\;P\wedge(Q\vee R)\Leftrightarrow(P\wedge Q)\vee(P\wedge R)P(QR)(PQ)(PR)P(QR)(PQ)(PR)
6.吸收率
P∨(P∧Q)⇔P        P∧(P∨Q)⇔P P\vee(P\wedge Q)\Leftrightarrow P\;\;\;\;P\wedge(P\vee Q)\Leftrightarrow P P(PQ)PP(PQ)P
7.德摩根律
¬(P∨Q)⇔¬P  ∧¬Q          ¬(P∧Q)⇔¬P∨¬Q \neg(P\vee Q)\Leftrightarrow\neg P\;\wedge\neg Q\;\;\;\;\;\neg(P\wedge Q)\Leftrightarrow\neg P\vee\neg Q ¬(PQ)¬P¬Q¬(PQ)¬P¬Q
8.同一律
P∨F⇔P                P∧T⇔P P\vee F\Leftrightarrow P\;\;\;\;\;\;\;\;P\wedge T\Leftrightarrow P PFPPTP
9.零率
P∨T⇔T                P∧F⇔F P\vee T\Leftrightarrow T\;\;\;\;\;\;\;\;P\wedge F\Leftrightarrow F PTTPFF
10.互补律
P∨¬P⇔T        P∧¬P⇔F P\vee\neg P\Leftrightarrow T\;\;\;\;P\wedge\neg P\Leftrightarrow F P¬PTP¬PF
11.
P→Q⇔¬P∨Q  (q→q非q或q是永真式) \color{blue} P\rightarrow Q\Leftrightarrow\neg P\vee Q\;(q\rightarrow q 非q或q是永真式)PQ¬PQ(qqqq)

P→Q⇔¬P→¬Q   P\rightarrow Q\Leftrightarrow\neg P\rightarrow\neg Q\;PQ¬P¬Q
13.
P↔Q⇔(P→Q)  ∧(Q→P) P\leftrightarrow Q\Leftrightarrow(P\rightarrow Q)\;\wedge(Q\rightarrow P)PQ(PQ)(QP)

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值