前束范式怎么求

前束範式的求法主要包括以下步驟：

利用公式消去聯結詞“->”和“;”。

利用量詞轉換，將否定深入到原子謂詞公式前。這意味着使用量詞轉化公式，將否定聯結詞深入到命題變元和謂詞填式的前面。

運用換名規則和代替規則，將公式中所有變元用不同的符號替換。

利用量詞轄域的擴張收縮律，將量詞前移或擴張轄域。這意味着利用量詞轄域的擴張規則，把量詞移到前面或者擴大其轄域。