Mathcenter Forum

Mathcenter Forum (https://www.mathcenter.net/forum/index.php)
-   คณิตศาสตร์อุดมศึกษา (https://www.mathcenter.net/forum/forumdisplay.php?f=2)
-   -   ตรรกศาสตร์ครับ (https://www.mathcenter.net/forum/showthread.php?t=9030)

shinaharakung 10 พฤศจิกายน 2009 01:04

ตรรกศาสตร์ครับ
 
แสดงประโยคเหล่านี้เป็น Equivalences กัน
$(P V Q) \wedge$ $((~P V (Q \wedge R)) \wedge (P V R) $ วรรค $Q \wedge R$

ทำยังไงอ่ะครับ งงมาเกือบอาทิตย์แล้ว ช่วยแนะนำทีครับ ว่าต้องทำยังไงอ่ะครับ ให้สร้างตารางค่าความจริงใส่เลยหรอครับ
ผมลองสร้างแล้วแต่มันยาวมากๆอ่ะครับ เลยไม่มั่นใจว่าถูกรึป่าว อยากจะให้ช่วยแนะนำทีครับ:please:
ขอบคุณครับ

nooonuii 10 พฤศจิกายน 2009 01:51

อ้างอิง:

ข้อความเดิมเขียนโดยคุณ shinaharakung (ข้อความที่ 68717)
แสดงประโยคเหล่านี้เป็น Equivalences กัน
$(P V Q) \wedge$ $((\sim P V (Q \wedge R)) \wedge (P V R) $ วรรค $Q \wedge R$

ทำยังไงอ่ะครับ งงมาเกือบอาทิตย์แล้ว ช่วยแนะนำทีครับ ว่าต้องทำยังไงอ่ะครับ ให้สร้างตารางค่าความจริงใส่เลยหรอครับ
ผมลองสร้างแล้วแต่มันยาวมากๆอ่ะครับ เลยไม่มั่นใจว่าถูกรึป่าว อยากจะให้ช่วยแนะนำทีครับ:please:
ขอบคุณครับ

ให้ $S=Q\wedge R$

$(P\vee Q)\wedge((\sim P\vee(Q\wedge R))\wedge(P\vee R)$

$~~~~~~\equiv(P\vee Q)\wedge(P\vee R)\wedge(\sim P\vee (Q\wedge R))$

$~~~~~~\equiv (P\vee(Q\wedge R))\wedge ((\sim P \vee (Q \wedge R))$

$~~~~~~\equiv (P\vee S)\wedge (\sim P\vee S)$

$~~~~~~\equiv (S\vee P)\wedge (S\vee \sim P)$

$~~~~~~\equiv S\vee (P\wedge \sim P)$

$~~~~~~\equiv S\vee F$

$~~~~~~\equiv S$

$~~~~~~\equiv Q\wedge R$


เวลาที่แสดงทั้งหมด เป็นเวลาที่ประเทศไทย (GMT +7) ขณะนี้เป็นเวลา 15:19

Powered by vBulletin® Copyright ©2000 - 2024, Jelsoft Enterprises Ltd.
Modified by Jetsada Karnpracha