1. ประพจน์ที่สมมูลกัน

ประพจน์ที่สมมูลกัน หมายถึง ค่าความจริงของประพจน์ 2 ประพจน์ที่มีค่าความจริงเหมือนกันทุกกรณี

สัญลักษณ์ของประพจน์ที่สมมูลกัน คือ

สัญลักษณ์ของประพจน์ที่ไม่สมมูลกัน คือ

ตัวอย่าง (P↔ Q) กับ (P→Q) ⋀ (Q→P)

ตารางค่าความจริง

P

Q

(P↔ Q)

(P→Q)

(Q→P)

(P→Q) ⋀ (Q→P)

    T

   T

   T

  T

  T

      T

   T

   F

   F

  F

  T

      F

   F

   T

   F

  T

  F

      F

F

F

T

T

T

T

สรุปว่า ประพจน์ (P↔ Q) ≡ (P→Q) ⋀ (Q→P)