ตรรกศาสตร์คอมพิวเตอร์ ตอนที่ 4

  1. การเชื่อมประพจน์ 3 ประพจน์ การเชื่อมประพจน์ กรณี 3 ประพจน์จะมีค่าความจริง ที่แสดงได้ 23 = 8 กรณี

ตัวอย่าง [(P⋀ Q) ↔ (R V~(P→Q)) ]

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

P

Q

R

(P→Q)

~(P→Q)

(R V~(P→Q))

[(P⋀ Q)

[(P⋀ Q) ↔ (R V~(P→Q)) ]

 T 

 T 

 T 

 T

 F

T

T

T

 T

 T

 F

  T

   F

     F

   T

           F

 T

 F

 T

  F

  T

     T

   F

           F

 T

 F

 F

  F

  T

     T

   F

           F

 F

 T

 T

  T

  F

     T

   F

           F

 F

 T

 F

  T

  F

     F

   F

           T

 F

 F

 T

  T

  F

     T

   F

           F

F

F

F

T

F

F

F

T