เนื้อหา

Operation

และ แต่ $\wedge$

หรือ $\vee$

ถ้าแล้ว $\rightarrow$

ก็ต่อเมื่อ $\leftrightarrow$

นิเสธ ~, $\neg$

De Mogan’s

$p→q\equiv$ ~ $p\vee q$

$p\leftrightarrow q\equiv p\rightarrow q \wedge q\leftrightarrow p$

~ $(p\vee q) \equiv$ ~ $p\wedge$~ $q$

สัจนิรันดร์

แทนเป็นเท็จ ถ้าขัดแย้งเป็นสัจนิรันดร์