主析取範式求法是:由極小項之和構成的,命題公式化簡出來的主析取範式中包含的極小項,其下标對應的指派得到的命題公式的真值應該為1。主合取範式由極大項之積構成,命題公式等價的主合取範式中包含的極大項,其對應下标應該是使對應的指派得到命題公式的真值為0。
含n個命題變項的簡單合取式(簡單析取式),若每個命題變項及其否定式不同時出現,而二者之一必出現且僅一次,且第i個命題變項或其否定式出現在左起第i位上(按字典序排列),稱該簡單合取式(簡單析取式)為極小項(極大項)。
更多精彩资讯请关注tft每日頭條,我们将持续为您更新最新资讯!