ข้ามไปที่เนื้อหาหลัก

สัจนิรันดร์ ตัวอย่าง 4(math tautology)

สัจนิรันดร์ (Tautology)
        ตัวอย่างที่ 4  จงตรวจสอบว่ารูปแบบของประพจน์ที่กำหนดให้ต่อไปนี้
เป็นสัจนิรันดร์หรือไม่
            ~ (p ʌ q) ~ (p q)

         วิธีทำ  ค่าความจริงที่อาจเกิดขึ้นได้ทั้งหมด  มี  กรณี 
จะได้ตารางค่าความจริง ดังนี้
p
q
pʌq
~(pʌq)
pq
~(pq)
~(pʌq) ~ (pq)
T
T
T
F
T
F
T
T
F
F
T
F
T
T
F
T
F
T
F
T
T
F
F
F
T
T
F
F
ดังนั้น  ~ (p ʌ q) ~ (p q) ไม่เป็นสัจนิรันดร์
     

ความคิดเห็น