ตัวเชื่อมประพจน์ [ถ้า...แล้ว..., ก็ต่อเมื่อ]

T

F

p

มีค่าความจริงเป็นจริง

q

มีค่าความจริงเป็นจริง

r

มีค่าความจริงเป็นจริง

s

มีค่าความจริงเป็นจริง

$$p\leftrightarrow q$$

และ

$$r\leftrightarrow s$$

มีค่าความจริงเป็นจริง

$$p\leftrightarrow q$$

มีค่าความจริงเป็นจริง

และ

$$r\leftrightarrow s$$

มีค่าความจริงเป็นเท็จ

$$p\leftrightarrow q$$

มีค่าความจริงเป็นเท็จ

และ

$$r\leftrightarrow s$$

มีค่าความจริงเป็นจริง

$$p\leftrightarrow q$$

และ

$$r\leftrightarrow s$$

มีค่าความจริงเป็นเท็จ

$$\left(r\rightarrow q\right)\leftrightarrow\sim p$$

$$p\rightarrow\left(q\rightarrow r\right)$$

$$\left(p\vee r\right)\leftrightarrow\left(q\wedge r\right)$$

$$\left(r\rightarrow p\right)\leftrightarrow q$$

p และ q

มีค่าความจริงเป็นจริง

p

มีค่าความจริงเป็นจริง

และ

q

มีค่าความจริงเป็นเท็จ

p

มีค่าความจริงเป็นเท็จ

และ

q

มีค่าความจริงเป็นจริง

p และ q

มีค่าความจริงเป็นเท็จ

$$q\rightarrow\left(p\leftrightarrow\sim r\right)$$

$$p\rightarrow\left(q\rightarrow r\right)$$

$$\left(p\rightarrow r\right)\rightarrow q$$

$$r\rightarrow\left(p\wedge q\right)$$

$$p\rightarrow q$$

มีค่าความจริงเป็นจริง

$$\sim p\leftrightarrow r$$

มีค่าความจริงเป็นจริง

$$r\rightarrow\sim s$$

มีค่าความจริงเป็นจริง

$$\sim q\leftrightarrow s$$

มีค่าความจริงเป็นจริง

$$p\rightarrow q$$

มีค่าความจริงเป็นจริง

$$\sim p\leftrightarrow r$$

มีค่าความจริงเป็นจริง

$$r\rightarrow\sim s$$

มีค่าความจริงเป็นจริง

$$\sim q\leftrightarrow s$$

มีค่าความจริงเป็นจริง

T

F

$$\left(p\rightarrow r\right)\rightarrow s$$

มีค่าความจริงเป็นเท็จ

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

มีค่าความจริงเป็นเท็จ

$$\left(r\rightarrow q\right)\rightarrow p$$

มีค่าความจริงเป็นเท็จ

$$q\leftrightarrow s$$

มีค่าความจริงเป็นเท็จ