t→(w→s)

s→(t→w)

(s∧w)→t

w→(s→t)

p ∨ q

∼p ∨ q

p∨ ∼q

~p ∨ ∼q

สัญลักษณ์ " ∼ "

สัญลักษณ์ " ≡ "

สัญลักษณ์ " → "

สัญลักษณ์ " ∨ "

ประพจน์สองประพจน์มีค่าความจริงตรงข้ามกันทุกกรณี

ประพจน์สองประพจน์มีค่าความจริงตรงกันอย่างน้อย 1 กรณี

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

(p ∧ q) ∨ (p ∧ r)

(p ∨ q) ∧ (p ∨ r)

(p ∨ q) ∧ (q ∨ r)

∼p ∧ ∼q

∼p ∨ ∼q

p → q

∼ p ∨ ∼ q และ ∼ ( p ∨ q )

p → q และ ∼ ( p ∨ q )

x ↔ y และ x ↔ ∼ y

p → ( q → r ) และ ( p ∧ q ) → r

r ⋀ s ≡ s ⋀ r

r ⋁ r ≡ r

~(r ⋀ s) ≡ ~r ⋁ ~s

r ⋁ s ≡ ~r ➝ s

สมมูลกัน

ไม่สมมูลกัน