若是两个命题公式等价,则它们具有相同的主析取范式和主合取范式。
出自:广开数学大观