命题逻辑：求 (p→q)^q→p 的主合取范式
首先，我们可以展开 (p→q)^q，得到：
(p→q)^q = (¬p∨q)∧q
然后再将其与 p 进行合取，得到：
((¬p∨q)∧q)∧p
这就是 (p→q)^q→p 的主合取范式。
原文地址: https://www.cveoy.top/t/topic/nUqw 著作权归作者所有。请勿转载和采集!
安全问答是一个知识全球问答,包含丰富的问答知识
首先，我们可以展开 (p→q)^q，得到：
(p→q)^q = (¬p∨q)∧q
然后再将其与 p 进行合取，得到：
((¬p∨q)∧q)∧p
这就是 (p→q)^q→p 的主合取范式。
原文地址: https://www.cveoy.top/t/topic/nUqw 著作权归作者所有。请勿转载和采集!