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

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

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

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

(p ∧ q) ∨ (p ∧ r)

(p ∨ q) ∧ (p ∨ r)

(p ∨ q) ∧ (q ∨ r)

∼p ∧ ∼q

∼p ∨ ∼q

p → q

สมมูลกัน

ไม่สมมูลกัน

สมมูลกัน

นิเสธกัน

ไม่มีความสัมพันธ์กันกัน

สัจนิรันดร์

รูปแบบของประพจน์สองรูปมีค่าความจริงตรงกันกรณีต่อกรณี

ประโยคบอกเล่าหรือประโยคปฏิเสธที่มีตัวแปร

ประโยคหรือข้อความที่เป็นจริงหรือเท็จอย่างใดอย่างหนึ่ง

รูปแบบของประพจน์ที่มีค่าความจริงเป็นจริงทุกกรณี

เท่ากัน

มีค่าความจริงเหมือนกัน

ตรงข้ามกัน

ค่าความจริงเป็นเท็จ

𝑞

~r

𝑝 → 𝑟

𝑝 ∨ 𝑟

สมเหตุสมผล

ไม่สมเหตุสมผล

เป็นสัจนิรันดร์

ไม่เป็นสัจนิรันดร์