例3．证明（Q→（P∨（P∧Q）））∧R （Q→P）∧R
　　证明：
　　设A为：（Q→（P∨（P∧Q）））∧R，
　　B为：（Q→P）∧R，
　　P∨（P∧Q）是 A 的子公式，设为 X ，
　　根据吸收律有P∨（P∧Q）P ，设 P 为 Y ，
　　将 A 中的子公式 X ，即P∨（P∧Q）用 Y ，即 P 作置换，则 A 变换成为 B ，即为（Q→P）∧R，
　　由定理6.4.1知 AB ，即得需要证明的等价式成立。