Dạng bài 1: Dùng các luật logic để chứng minh rằng biểu thức sau là một hằng đúng.

Ví dụ: [r∧[(p→q)→r]]∨[(p∧q)→¬r].
Cách làm:
1. Dùng các phương pháp biến đổi để bỏ các dấu “→”, “↔”.
Áp dụng: Luật kéo theo: p → q ⇔¬ p ∨ q
hoặc Luật tương đương: p ↔ q ⇔(¬ p ∨q)∧(¬q ∨ p)
[ r ∧ [ ( p → q ) → r ] ] ∨ [ ( p ∧ q ) →¬ r ]
⇔ [ r ∧[ ( ¬ p ∨q ) →r ] ] ∨[ ( p ∧ q ) →¬ r ] (Luật kéo theo)
⇔ [ r ∧[¬ ( ¬ p ∨ q ) ∨r ] ] ∨[¬ ( p ∧q ) ∨ ¬r ] (Luật kéo theo)
2. Phá các dấu ngoặc bên trong.
Áp dụng các định luật còn lại:

i/ Luật phủ định của phủ định:

ii/ Luật DeMorgan: *

iii/ Luật giao hoán:

iv/ Luật kết hợp:

v/ Luật phân bố: *

vi/ Luật lũy đẳng:

vii/ Luật trung hòa:

viii/ Luật thống trị:

ix/ Luật về phần tử bù:

x/ Luật hấp thụ:

(tiếp tục ví dụ)
[ r ∧[¬ ( ¬ p ∨q ) ∨ r ]] ∨[¬ ( p ∧ q ) ∨¬ r ]
⇔ [ r ∧[ ( p ∧¬q ) ∨r ] ] ∨[ ( ¬ p ∨ ¬q ) ∨ ¬r ] (Luật DeMorgan)
⇔ r ∨[ ( ¬ p ∨¬ q ) ∨¬ r ] (Luật hấp thụ)
⇔ ( r ∨ ¬r ) ∨ ( ¬ p ∨ ¬q ) (Luật kết hợp)
⇔ 1∨ (¬ p ∨¬q ) (Luật về phần tử bù)
⇔1 (Luật thống trị)
3. Kết luận:
Vậy biểu thức trên là hằng đúng.
Các bài toán tương tự:
1. Chứng minh hai mệnh đề sau tương đương
( p → q)∧( p ∨ q̄)∧ q̄ ⇔q ∨ p
( p → q)∧( p ∨ q̄)∧ q̄
⇔(¬ p ∨ q)∧( p ∨ q̄ )∧ q̄ (Luật kéo theo)
⇔( p ∨q)∧ q̄ (Luật thống trị)
⇔ ( p ∧ q ) ∨ ( q ∧ q̄ ) (Luật phân phối)
⇔ ( p ∧ q ) ∨0 (Luật về phần tử bù)
⇔ p∧q (Luật trung hòa)
⇔q∧ p (Luật giao hoán)
⇔q∨ p (Luật DeMorgan)
2. chứng minh rằng: p ∧[( q̄ → r )∨(q ∨(r ∧ s)∨(r ∧ s̄))]⇔ p
(Mẹo: bài này xử lý cái dấu overline { } dài trước sẽ dễ hơn là sử lý dấu “→”)
p ∧[( q̄ → r )∨(q ∨(r ∧ s)∨(r ∧ s̄))]

⇔ p ∧[( q̄ →r )∨(q ∨(r ∧ ( s ∨ s̄ ) ))] (Luật phân phối)

⇔ p ∧[( q̄ →r )∨(q ∨(r ∧ 1))] (Luật về phần tử bù)
⇔ p ∧[( q̄ →r )∨(q ∨r )] (Luật trung hòa)
⇔ p ∧[(q ∨r )∨(q ∨ r )] (Luật kéo theo)
⇔ p∧1 (Luật về phần tử bù)
⇔p (Luật trung hòa)