範式存在定理及其證明

範式存在定理 對於任意命題公式，都存在與其等價的析取範式和合取範式 另一種表述： 每一真值函數，都可用範式（析取範式或合取範式）表示； 每一個複合命題形式，都至少存在一個與其等值的範式（析取範式或合取範式） 英文表述 any Boolean function has a CNF, and a DNF form 定理證明 參考資料： 1、課程鏈接 2、布爾代數的析取範式定理的證明 3、另一種表述

>>阅读原文<<