อ้างอิง:
ข้อความเดิมเขียนโดยคุณ MirRor
ขอบคุณครับ
ขอถามอีกอย่างนะครับ
คือ สมมติมี ตัวแปร p q r s มา
แล้วมีประพจน์ (p^q) v (r^s)
อย่างงี้อ่ะครับ
แล้วเราสามารถกำหนดให้ (p^q) เป็น A แล้วแจกแจงเข้าไปกระทำระหว่าง s กับ r ได้หรือเปล่าครับ
อย่าง (Avr) ^ (Avs)
(p^qvr) ^ (p^qvs) อย่างนี้อ่ะครับจะได้หรือเปล่า ?
|
ได้ครับ...................