ประพจน์ $p\longleftrightarrow q$ กับ  $\left(\sim q\longrightarrow\sim p\right)\wedge\left(\sim q\vee p\right)$  สมมูลกันหรือไม่

ประพจน์ $\sim p\longrightarrow\left(q\longrightarrow p\right)$  กับ  $\sim q\longrightarrow p$  สมมูลกันหรือไม่

ประพจน์ $p\longrightarrow q$ กับ  $\left(p\wedge\sim q\right)\longrightarrow q$  สมมูลกันหรือไม่ 

ประพจน์ $\left[p\wedge\left(q\vee\sim q\right)\right]\longrightarrow\left[q\vee\left(p\wedge\sim p\right)\right]$ กับ  $p\longrightarrow q$  สมมูลกันหรือไม่ 

ประพจน์ $\left[p\longrightarrow\left(q\longrightarrow r\right)\right]\longrightarrow\left[\left(p\longrightarrow q\right)\longrightarrow r\right]$  เป็นสัจนิรันดร์หรือไม่

ประพจน์ $\left[\left(p\vee q\right)\wedge\left(p\longrightarrow r\right)\wedge\left(q\longrightarrow r\right)\right]\longrightarrow r$  เป็นสัจนิรันดร์หรือไม่

ประพจน์ $\left[\left(p\longrightarrow q\right)\wedge\left(p\longrightarrow r\right)\right]\longleftrightarrow\left[p\longrightarrow\left(q\wedge r\right)\right]$ เป็นสัจนิรันดร์หรือไม่ 

ประพจน์ $\left[\left(p\longrightarrow\left(q\longrightarrow\sim s\right)\right)\wedge\left(p\wedge s\right)\right]\longrightarrow q$  สมเหตุสมผลหรือไม่

ประพจน์ $\left[\left(p\longrightarrow\left(q\longrightarrow r\right)\right)\wedge\left(\sim s\vee p\right)\wedge q\right]\longrightarrow\left(s\longrightarrow r\right)$  สมเหตุสมผลหรือไม่