用P'表示非P,
P→Q=P'∨Q,
∴原式=[(P'∨Q)∧P∧R]∨R
=R(吸收律).
把字母看成表示集合,中括号表示的集合是R的子集,∨看成∪,更好理解.