逻辑学16个公式

恒真式是什么意思？

释义：恒真式,就是正命题为真,逆命题也是真的，也叫重言式‌​​​‌‌‌‌​‌​​​‌‌‌​‌‌‌‌‌通俗来说，可以理解为：无论什么情况下都为真的命题恒真式指重言式。重言式（Tautology ）又称为永真式，它的汉语拼音为：[Chóng yán shì]，是逻辑学的名词。命题公式中有一类重言式。如果一个公式，对于它的任一解释下其真值都为真，就称为重言式（永真式）。数理逻辑旨在利用有限的公理推出尽可能多的重言式，除此之外，重言式在计算机词法分析领域也具有重要应用。

、永假式指矛盾式。矛盾式又称永假式、不可满足公式，是逻辑演算的一类公式。如果对任意一个赋值V，都有V[A]=0，即公式A对任一赋值均取“假”值，则公式A为矛盾式。在逻辑演算中，公式按取值情况分为三种：对任一赋值都取“真”值的为恒真式，恒真式在命题演算中为重言式，在谓词演算中即为普遍有效式；对某些赋值取“真”值、对某些赋值取“假”值的为可满足但非恒真式；还有一类即为矛盾式。其中普遍有效式表达一定的逻辑规律，而矛盾式则表达一的逻辑

如何记忆逻辑代数的常用公式？ 逻辑学16个公式

追求理解的记忆：

把变量当成范围

把+当成并集，也就是求总范围

把*当成交集，也就是求公共部分

A+A*B=A

A和一个A里的部分，求总范围，当然还是A。

毕竟根本没有扩大范围，还在A里。

显然A和B的公共部分一定还在A里。

A+A’*B = A+B

适合反着想。

B的范围，不是在A以内就是在A以外

所以A+B的关键就是把A以外的那部分A*B给加上去

A*(A+B)=A

A和包括A的大范围求公共部分，结果当然是A

追求速度的记忆：

+不会比原来小

A+A()和A+A'()两个结构的差别就在于后面的A有’

把’当成有没有多东西的标志

没有就写A，有就写A+()

*不会比原来大

A*(A+B)，有A*A已经到了最大的A，剩下的不用看

如果是A*(A’+B)，AA’是空集，所以是AB

因此把A*(A+口)和A*(A’+口)的’当成要不要多乘个东西的标志

没有就是原来的A，有就乘上变成A口

总之就是

A+A和A+A’

A*A和A*A’

这种结构

把’当成要不要+或*的标志，有就带上，没有就保留