Question

求(┐p→q)→(┐q∨p)的主析取范式，并求成真赋值，要解题过程，求大神帮忙，在线等

Answer 1

逻辑上的“蕴含→”，是指 A→B 等同于 ┐A∨B

而 ┐p→q 则等同于 ┐(┐p)∨q ，即 p∨q

(┐p→q)→(┐q∨p)

⇔ ┐(┐p→q)∨(┐q∨p)

⇔ ┐(p∨q)∨(┐q∨p)

⇔┐p∧┐q∨┐q∨p

⇔（┐p∧┐q∨┐q）∨p

⇔┐q∨p