Formal System-范式(Normalformen)

本文主要是介绍Formal System-范式(Normalformen)，希望对大家解决编程问题提供一定的参考价值，需要的开发者们随着小编来一起学习吧！

动机(Motivation)

主要目的是证明Formel的可实现(Erfüllbar)
一般的方法：
1.真值表
2.等价转化
但是随之Atom的数量增大，上述方法的效率则越加低。//真值表的数量将呈现指数增长
于是我们想到的方法就是非等价转化，比如用$P_3 代替P_1 \land P_2$
为了更好的了解algorithm，需要先看一下什么是范式，具体的algorithm在下节

和取范式(Konjunktive Normalform)和析取范式(Disjunktive Normalform)

Literal:就是一个正的或负的Atom
DNF(disjunktiver Normalform):一个Formel是DNF，当其由一个或多个子Formel析取而成，且这些子Formel中不含有析取
KNF(konjunktiver Normalform):一个Formel是KNF，当其由一个或多个子Formel和取而成，且这些子Formel中不含有和取
对于任何的表达逻辑的Formel都有一个相应的DNF Formel和KNF Formel
通过真值表可以很直接的得到相应的DNF，KNF
完整的DNF(Vollständig): Signatur $\sum$中得一个DNF ⋁K∈

这篇关于Formal System-范式(Normalformen)的文章就介绍到这儿，希望我们推荐的文章对编程师们有所帮助！

---