$\sim q\rightarrow\sim p$  

 $\sim p\rightarrow\sim q$  

 $\sim p\vee q$  

 $p\wedge\sim q$  

 $p\vee q$  

 $p\wedge q$  

 $\sim\left(p\vee q\right)$  

 $\sim\left(p\wedge q\right)$  

 $a\ne3$  หรือ  $a^2=9$  

 $a\ne3$  หรือ  $a^2\ne9$  

 $a=3$  หรือ  $a^2=9$  

ถ้า  $a^2=9$  แล้ว  $a=3$  

 $T\rightarrow\left(W\rightarrow S\right)$  

 $S\rightarrow\left(T\rightarrow W\right)$  

 $\left(S\wedge W\right)\rightarrow T$  

 $W\rightarrow\left(S\rightarrow T\right)$  

 $3<5$  

 $3\ge5$  

 $3\le5$  

 $3>5$  

$\left(p\rightarrow q\right)\rightarrow\left(p\rightarrow r\right)$

$\left(p\wedge\sim r\right)\rightarrow\left(p\rightarrow q\right)$
$\equiv\left(p\wedge\sim q\right)\rightarrow\left(p\rightarrow r\right)$

$\left(p\rightarrow r\right)\rightarrow\left(p\rightarrow q\right)$
$\equiv\left(p\wedge\sim r\right)\rightarrow\left(p\wedge\sim q\right)$

$\left(p\rightarrow r\right)\rightarrow\left(p\wedge\sim q\right)$
$\equiv\left(p\rightarrow q\right)\rightarrow\left(p\wedge\sim r\right)$

ถ้า $p\leftrightarrow q$ มีค่าความจริงเป็นจริง แล้ว $\left(q\wedge r\right)\rightarrow\left(\sim p\rightarrow r\right)$ มีค่าความจริงเป็นเท็จ

$p\rightarrow\left[\left(p\wedge q\right)\vee\left(q\vee r\right)\right]$ เป็นสัจนิรันดร์

$\left[\left(p\wedge q\right)\rightarrow r\right]\rightarrow\left[\left(p\rightarrow q\right)\rightarrow\left(p\rightarrow r\right)\right]$ เป็นสัจนิรันดร์

$\left(p\rightarrow r\right)\wedge\left(q\rightarrow r\right)$ สมมูลกับ $\left(p\wedge q\right)\rightarrow r$

$\left(p\rightarrow q\right)\rightarrow\left(q\rightarrow p\right)$

$\left(\sim p\vee\sim q\right)\rightarrow\left(p\rightarrow q\right)$

$\left[\left(p\wedge\sim q\right)\rightarrow\sim p\right]\rightarrow\left(p\rightarrow q\right)$

$\left[\left(p\wedge q\right)\rightarrow\sim q\right]\rightarrow\left(p\rightarrow q\right)$

$\sim\left(p\rightarrow\sim q\right)\rightarrow q$

$\left(\sim p\vee q\right)\rightarrow\left(\sim p\wedge\sim q\right)$

$\left(\sim p\wedge q\right)\rightarrow\left(\sim q\wedge p\right)$

$\sim p\rightarrow\left(\sim p\wedge q\right)$

 $\left[\left(p\rightarrow q\right)\rightarrow r\right]\leftrightarrow\left[\left(p\wedge\sim q\right)\vee r\right]$  

 $\left[p\rightarrow\left(q\rightarrow r\right)\right]\leftrightarrow\left[\left(p\wedge q\right)\rightarrow r\right]$  

 $\left[p\wedge\left(q\rightarrow p\right)\right]\leftrightarrow\left[\left(q\rightarrow p\right)\rightarrow\sim p\right]$  

 $\left[p\rightarrow\left(q\wedge\sim r\right)\right]\leftrightarrow\left[\left(\sim q\vee r\right)\rightarrow\sim p\right]$  

ก. ถูก ข. ถูก

ก. ถูก ข. ผิด

ก. ผิด ข. ถูก

ก. ผิด ข. ผิด

$\sim\left(p\vee q\right)\rightarrow\left(p\wedge q\right)$

$\left(p\wedge q\right)\rightarrow\left(p\rightarrow q\right)$

$\sim p\wedge p$

$\left(p\rightarrow\sim q\right)\vee\left(q\rightarrow\sim p\right)$

$p\vee\sim p$

$\left[p\wedge\left(p\rightarrow q\right)\right]\rightarrow q$

$p\rightarrow\left(p\vee q\right)$

$\left(p\wedge q\right)\rightarrow\left(\sim p\vee\sim q\right)$

$\left[x\vee\sim y\right]\rightarrow\left(x\rightarrow y\right)$

$\left[\sim x\rightarrow\sim y\right]\rightarrow\left(x\rightarrow y\right)$

$\left[\sim x\vee\sim y\right]\rightarrow\left(x\rightarrow y\right)$

$\left[\left(x\wedge\sim y\right)\rightarrow\sim x\right]\rightarrow\left(x\rightarrow y\right)$