求主析取範式的方法主要有兩種:等值演算法和真值表法。
等值演算法:
首先,需要瞭解主析取範式的數學概念,它是若干個極小項取交集的形式。
然後,可以利用等值演算法,按照原來的順序推導出公式,最後得到主析取範式。
在化簡過程中,可能會用到分配律和蘊涵等值式。例如,如果化簡式中有p∧q,需要給它配上r,可以配上(p∧q)∧(r∨¬r),這裏用了零律及同一律。
真值表法:
真值表法是列出變元值的全部可能,查表判斷命題。命題結果真,變元值對應主析取範式;命題結果假,變元值對應主合取範式。
明白主合取範式與主析取範式的關係,加以轉化:
主析取範式轉化爲主合取範式就是取其方位內不存在的最小值。
以上三種方法可以相互轉化,具體使用哪種方法,可以根據實際情況和個人習慣來決定。