Dùng phương pháp biến đổi đại số, chứng m∈h hai mệnh đề sau là tương đương logic: <span class="katex-r" data-latex="displaystyle (p rightrow r) (q rightrow r)"></span> và <span class="katex-r" data-latex="displaystyle (p l q) rightrow r"></span>