P→（P∧（Q→P））的主析取范式和主合取范式

2024年11月17日 18:33

有2个网友回答

网友（1）：

答：
p
q
r
p∧q
┐p∧r
（p∧q）∨（┐p∧r）
0
0
0
0
0
0
0
0
1
0
1
1
0
1
0
0
0
0
0
1
1
0
1
1
1
0
0
0
0
0
1
0
1
0
0
0
1
1
0
1
0
1
1
1
1
1
0
1
原公式的主析取范式：(┐p∧┐q∧r)v(┐p∧q∧r)v(p∧q∧┐r)v(p∧q∧r)
主合取范式：(┐pvqv┐r)∧(┐pvqvr)∧(pv┐qvr)∧(pvqvr)
帮我
一步一步划一下
我自己做了一下
但是不太确定
感谢大神

网友（2）：

P→(P^(Q→P))
=┐P
V
(P^(┐Q
V
P))
=┐P
V
((P^┐Q)V(P^P))
=┐P
V
((P^┐Q)V
P)
=┐P
V
(P^┐Q)V
P
=┐P
V
P
=1
最后结果说明该式是重言式。
（可能数学符号用的不是很规范，希望对你能有帮助。）