离散数学p→(p→q)p→q这个怎么推?还有这个p∨p,p∧p值是多少

问题描述:

离散数学p→(p→q)p→q这个怎么推?还有这个p∨p,p∧p值是多少

p→(p→q) ┓p∨(┓p∨q) ( ┓p∨┓p)∨q ┓p∨q p→q
p∨p p
p∧p p