จงตรวจสอบว่า pv~p เป็นสัจนิรันดร์หรือไม่

จงตรวจสอบว่า $\left(p\rightarrow q\right)\lrArr\left(q\rightarrow p\right)$เป็นสัจนิรันดร์หรือไม่

จงตรวจสอบว่า [(p$\rightarrow$q)$\Lambda$~q]$\rightarrow$~p เป็นสัจนิรันดร์หรือไม่

จงตรวจสอบว่า (p V q) V (q$\rightarrow$p) เป็นสัจนิรันดร์หรือไม่