主析取范式怎么求

主析取范式求法是：由極小項之和構成的，命題公式化簡出來的主析取范式中包含的極小項，其下標對應的指派得到的命題公式的真值應該為1。主合取范式由極大項之積構成，命題公式等價的主合取范式中包含的極大項，其對應下標應該是使對應的指派得到命題公式的真值為0。含n個命題變項的簡單合取式（簡單析取式），若每個命題變項及其否定式不同時出現，而二者之一必出現且僅一次，且第i個命題變項或其否定式出現在左起第i位上（按字典序排列），稱該簡單合取式（簡單析取式)為極小項（極大項）。