嶽秀雋濮越 2020-04-29

一般的教材不直接介紹正規化的概念，以下屬於個人理解。我覺得正規化可以理解為一類結構特殊一點的合式公式或乾脆稱之為命題公式，說它特殊是因為它的組成部分，除了命題變項p，q，r，。。。外，其中的聯結片語成一個聯結詞完備集，比如{否定，合取，析取}，由此可以構造出析取正規化或合取正規化。這類正規化可以很容易判斷是永真式、永假式還是可滿足式子，討論正規化的目的就是研究命題公式的簡化，從而可以對命題公式進行分類。