早教吧 育儿知识 作业答案 考试题库 百科 知识分享

求(┐p→q)→(┐q∨p)的主析取范式,并求成真赋值,

题目详情
求(┐p→q)→(┐q∨p)的主析取范式,并求成真赋值,
▼优质解答
答案和解析
逻辑上的“蕴含→”,是指 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