Sử dụng phép tính mệnh đề (các luật logic) để chứng minh các biểu thức sau là hằng
đúng:
[p -> (q ∨ r)] ->[(p -> q) ∨ (p ->r)]