ตรรกศาสตร์ 1

ข้อใดเป็นประพจน์ที่สมมูลกับ $\sim\ \left(\sim r\ \wedge\ s\right)\$  

•  $\sim r\ \wedge\ s$  

•  $r\ \vee\ s$  

•  $\sim s\ \vee\ r$  

•  $\sim r\ \vee\ s$  

ข้อใดเป็นประพจน์ที่สมมูลกับ $p\ \rightarrow\ \left(r\ \vee\ \sim s\right)$  

•  $\sim p\ \wedge\ \left(r\ \vee\ \sim\ s\right)$  

•  $p\ \vee\ \left(r\ \vee\ s\right)$  

•  $\sim p\ \vee\ \left(r\ \vee\ \sim s\right)$  

•  $p\ \rightarrow\ \left(\sim r\ \ \vee\ s\right)$  

ข้อใดเป็นประพจน์ที่สมมูลกับ $p\ \vee\sim q$  

•  $\sim q\rightarrow p$  

•  $\sim p\ \rightarrow\ q$  

•  $p\ \rightarrow\ q\$  

•  $q\ \rightarrow\ p$  

ข้อใดเป็นประพจน์ที่สมมูลกับ $\sim\left(p\ \vee\ \sim\ q\right)$  

•  $\sim p\ \vee\ q$  

•  $\sim p\ \wedge\ q$  

•  $p\ \wedge\ \sim\ q$  

•  $\sim p\ \wedge\ \sim\ q$  

ข้อใดเป็นประพจน์ที่ สมมูล กับ $\left(p\ \vee\ \sim q\right)\ \rightarrow\ r$  

•  $\left(p\ \wedge\ \sim q\right)\ \vee\ r$  

•  $\left(p\ \rightarrow\ \sim q\right)\ \vee\ r$  

•  $\left(p\ \vee\ \sim q\right)\ \vee\ r$  

•  $\sim\left(p\ \vee\ \sim q\right)\ \vee\ r$  

ประพจน์ใดต่อไปนี้สมมูลกับประพจน์ (p∧q)→r

• (p→r)∨(q→r)

• ~(p∨q)∨r

• (p→r)∧(q→r)

• ~(p∨q)→r

ประพจน์ t→(s→w) สมมูล กับประพจน์ในข้อใด

• t→(w→s)

• s→(t→w)

• (s∧w)→t

• w→(s→t)

ประพจน์สองประพจน์จะสมมูลกันเมื่อใด

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

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

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

ประพจน์ในข้อใดต่อไปนี้สมมูลกัน

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

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

• x ↔ y และ x ↔ ∼ y

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

ข้อใดต่อไปนี้ไม่ถูกต้อง

•  $\sim\left(p\wedge q\right)\equiv\sim p\vee\sim q$  

•  $p\vee p\equiv p$  

•  $\sim\left(p\leftrightarrow q\right)\equiv p\leftrightarrow\sim q$  

•  $p\wedge\sim q\equiv\sim p\rightarrow q$