谢邀,主析取范式的定义是与原命题等价的一个先合取再析取的公式,且每一个析取子式都要包含所有出现过的原子命题或原子命题的否定。
由于要与原命题等价,所以要把所有原命题为真的情况都考虑进去。那么我们根据真值表,可以根据真值为真的条件按照赋值去进行合取,作为析取子式,最后把这些析取子式进行析取就可以了。