سلام
ممکنه کسی کامل راه حل این سوال رو بده؟
مهمان عزیز شما قادر به مشاهده پیوندهای انجمن مانشت نمیباشید. جهت مشاهده پیوندها ثبت نام کنید.
جوابش رو میخونم متوجه نمیشم
خیلی ساده هست دوسته من, ببینید :
طبق کتاب میگم:
اول بجای
اشتراک , عمل ضرب و بجای
اجتماع , عمل جمع میذاریم که شکل ساده تری از سوال بدست بیاد: حالا طبق شکل زیر 2 قسمت در سمت چپ وچود داره[img]
مهمان عزیز شما قادر به مشاهده پیوندهای انجمن مانشت نمیباشید. جهت مشاهده پیوندها ثبت نام کنید.
[/img]
اگه دقت کنی میبینی که هر 2 قسمت در r ضرب شدن ===> پس اینج
ا r تعیین میکنه که سرنوشت سمت چپ چی خواهد بود
حالا میتونیم بگیم r هرچی باشه (چون سرنوشت سازه) سمت راست همون میشه: اینطوری:
r-----> (q+r)
که این عبارت فارغ ار اینکه q چی باشه , همیشه درسته, چون یه سمت r هست ,و یه سمت همون r با یه مقدار q جمع شده یا به عبارتی Or شده! پس همیشه True هست و جواب میشه T
(26 مهر 1393 07:19 ب.ظ)ernika نوشته شده توسط: [ -> ]سلام
ممکنه کسی کامل راه حل این سوال رو بده؟
مهمان عزیز شما قادر به مشاهده پیوندهای انجمن مانشت نمیباشید. جهت مشاهده پیوندها ثبت نام کنید.
جوابش رو میخونم متوجه نمیشم
خیلی ساده هست دوسته من, ببینید :
طبق کتاب میگم:
اول بجای
اشتراک , عمل ضرب و بجای
اجتماع , عمل جمع میذاریم که شکل ساده تری از سوال بدست بیاد: حالا طبق شکل زیر 2 قسمت در سمت چپ وچود داره :
[img]
مهمان عزیز شما قادر به مشاهده پیوندهای انجمن مانشت نمیباشید. جهت مشاهده پیوندها ثبت نام کنید.
[/img]
اگه دقت کنی میبینی که هر 2 قسمت در r ضرب شدن ===> پس اینج
ا r تعیین میکنه که سرنوشت سمت چپ چی خواهد بود
حالا میتونیم بگیم r هرچی باشه (چون سرنوشت سازه) سمت راست همون میشه: اینطوری:
r-----> (q+r)
که این عبارت فارغ ار اینکه q چی باشه , همیشه درسته, چون یه سمت r هست ,و یه سمت همون r با یه مقدار q جمع شده یا به عبارتی Or شده! پس همیشه True هست و جواب میشه T
عبارت رو ساده میکنیم:
۱: میدونیم که [tex]\wedge[/tex] خاصیت شرکت پذیری داره برای قسمت دوم هم از خاصیت پخشپذیری استفاده میکنیم.
[tex](R\wedge(\sim P\wedge\sim Q))\vee(R\wedge(P\vee Q))\: \longrightarrow\: Q\vee R \equiv[/tex]
۲: باز هم از خاصیت پخشپذیری استفاده میکنیم.
[tex]R\wedge((\sim P\wedge\sim Q)\vee(P\vee Q))\: \longrightarrow\: Q\vee R \equiv[/tex]
۳: از قانون دمورگان استفاده میکنیم.
[tex]R\wedge(\sim(P\vee Q)\vee(P\vee Q))\: \longrightarrow\: Q\vee R \equiv[/tex]
۴: خاصیت متمم، خاصیت همانی، سپس هم ارز گزاره شرطی، باز هم خاصیت متمم و در انتها با استفاده از خاصیت همانی خواهیم داشت:
[tex]R\wedge T\: \longrightarrow\: Q\vee R \equiv R\: \longrightarrow\: Q\vee R \equiv \sim R\vee Q\vee R \equiv Q\vee(R\vee\sim R)\: \equiv Q\vee T\: \equiv\: T[/tex]
(26 مهر 1393 08:18 ب.ظ)y.s نوشته شده توسط: [ -> ]عبارت رو ساده میکنیم:
۱: میدونیم که [tex]\wedge[/tex] خاصیت شرکت پذیری داره برای قسمت دوم هم از خاصیت پخشپذیری استفاده میکنیم.
[tex](R\wedge(\sim P\wedge\sim Q))\vee(R\wedge(P\vee Q))\: \longrightarrow\: Q\vee R \equiv[/tex]
۲: باز هم از خاصیت پخشپذیری استفاده میکنیم.
[tex]R\wedge((\sim P\wedge\sim Q)\vee(P\vee Q))\: \longrightarrow\: Q\vee R \equiv[/tex]
۳: از قانون دمورگان استفاده میکنیم.
[tex]R\wedge(\sim(P\vee Q)\vee(P\vee Q))\: \longrightarrow\: Q\vee R \equiv[/tex]
۴: خاصیت متمم، خاصیت همانی، سپس هم ارز گزاره شرطی، باز هم خاصیت متمم و در انتها با استفاده از خاصیت همانی خواهیم داشت:
[tex]R\wedge T\: \longrightarrow\: Q\vee R \equiv R\: \longrightarrow\: Q\vee R \equiv \sim R\vee Q\vee R \equiv Q\vee(R\vee\sim R)\: \equiv Q\vee T\: \equiv\: T[/tex]
خیــــــــلی ممنون.متوجه شدم کامل