如何使用等价规则将非连续正态形式转换为连词正态形式？

问：

例如，我有这个 （P^¬Q）v（Q^¬P）v（¬RvS），我需要用等价规则将其转换为 cnf。或多或少，我可以尝试应用一些东西或其他东西并使其成功。

或多或少，我可以尝试应用一些东西或其他东西并使其成功。但也许你们中的任何人都可以向我展示某种方法或一些步骤，这些方法在布尔代数的每个表达式中都是有效的，以达到 cnf 并通过我的 10 次考试。