命题逻辑的基础等价公式

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 P PPPPPP
3.交换律
P ∨ Q ⇔ Q ∨ P        P ∧ Q ⇔ Q ∧ P P\vee Q\Leftrightarrow Q\vee P\;\;\;P\wedge Q\Leftrightarrow Q\wedge P PQQPPQQP
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 R P(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    \color{blue} P\rightarrow Q\Leftrightarrow\neg P\vee Q\; PQ¬PQ
12.
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)

已标记关键词 清除标记
©️2020 CSDN 皮肤主题: 深蓝海洋 设计师:CSDN官方博客 返回首页