求命题公式 ((p∨q)→r)→p 的主析取范式
来源:学生作业帮助网 编辑:作业帮 时间:2024/08/01 21:04:32
x){Ľ/xں~
G+
5M*
g<ٱټ Oi*I*'O~
v>Q'?9}gHc+/a ˞a.X@ "= Iձ!
!*:VT*C3c9P)9$A@!*$@JѕCcr06 `ED ̭ѳ/.H̳%
求命题公式 ((p∨q)→r)→p 的主析取范式
求命题公式 ((p∨q)→r)→p 的主析取范式
求命题公式 ((p∨q)→r)→p 的主析取范式
用≡代替<=>.用∟表示“否定”
((p∨q)→r)→p≡∟((p∨q)→r)∨p≡∟(∟(p∨q)∨r)∨p
≡((p∨q)∧∟r)∨p≡(p∧∟r)∨(q∧∟r)∨p
≡(p∧q∧∟r)∨(p∧∟q∧∟r)∨(p∧q∧∟r)∨(∟p∧q∧∟r)∨
(p∧q∧r)∨(p∧q∧∟r)∨(p∧∟q∨r∨(p∧∟q∧∟r)
≡(p∧q∧r)∨(p∧q∧∟r)∨(p∧∟q∧r)∨(p∧∟q∧r)∨
(∟p∧q∧∟r).