数理逻辑((p∧┐q)∨(q∧r))∨r∨p如何计算?

题目

数理逻辑((p∧┐q)∨(q∧r))∨r∨p如何计算?
((p∧┐q)∨(q∧r))∨r∨p 这个怎么算 教科书上说用两次吸收律

答案

((p∧┐q)∨(q∧r))∨r∨p
(交换律 结合律)
=(p∧┐q)∨p∨(q∧r))∨r
(吸收律)
=p∨r