(非P->q)->(非qVp)的主析取范式和主合取范式

oO水灵妖Oo 1年前 已收到1个回答 举报

我是善希 幼苗

共回答了16个问题采纳率:100% 举报

(┐p→q)→(┐q∨p)
┐(┐┐p∨q)∨(┐q∨p)
(┐p∧┐q)∨(┐q∨p)
(┐p∨(┐q∨p))∧(┐q∨(┐q∨p))
1∧(┐q∨p)
(p∨┐q)
M1 (主合取范式)
m0∨m2∨m3 (主析取范式)

1年前

10
可能相似的问题
Copyright © 2024 YULUCN.COM - 雨露学习互助 - 17 q. 0.031 s. - webmaster@yulucn.com