Page 484 - เตรียมสอบครูผู้ช่วยคอมพิวเตอร์_compressed
P. 484
ิ
ประพจน์ ~(p→q) ∧(p ∨~q) เป ็น คอนทเจน
4.3 (~p ↔p)→(p ∧~q)
p q ~p ~q ~p ↔p p ∧~q (~p ↔p)→ (p ∨~q)
T T F F F F T
T F F T F T T
F T T F F F T
F F T T F F T
์
ประพจน (~p ↔p)→(p ∧~q) เป็นสัจนิรันดร์
4.4 (p∨~q)∨(p→q)
p q ~q p∨~q p→q (p∨~q)∨(p→q)
T T F T T T
T F T T F T
F T F F T T
F F T T T T
์
ประพจน (p∨~q)∨~(p→q) เป็นสัจนิรันดร์