Logic 命题逻辑：CNF转换

我试图解决一个简单的练习，其中我必须转换CNF中的命题句子：

这是一句话： P=>qr

根据分辨率规则，我做的第一件事就是用这种方式消除符号：

p=>Q R-->p=>Q V R/\R V Q

然后我删除了=>符号：

p=>qvr/\R-vq-->p-vqr/\R-vq

所以我的解决方案是：，p V Q V R/\，p V R Q

而正确的答案是：p V­Q V R/\-p V­R V Q

---

有人能帮我理解哪里出错了吗？

StackOverflow用于编程问题，它将这个问题排除在主题之外。但既然我已经打了那么多，让我补充一下，你的第一步

P => (Q <=> R) ---> P => (Q V R) ^ (R V Q)

我想你可以解决剩下的问题

P => (Q <=> R) ---> P => (~Q V R) ^ (~R V Q)