一个公式的析取范式唯一吗 永假式的主析取范式?
永假式的主析取范式?永真式的主析取范式是含有全部的极小项。永真式的主合取范式,为空的式子。永假式的主合取范式是含有全部的极大项。永假式的主析取范式,为空的式子主