سوال۲۵ صورت نرمال عطفی عبارت [tex]!(p\longleftrightarrow q)[/tex] رو خواسته. یعنی به صورت and چند تا جمله این عبارت رو بنویسیم.
[tex](p\longleftrightarrow q)'=((p\longrightarrow q)\wedge(q\longrightarrow p))'=[(p'\vee q)'\vee(q'\vee p)']=[(p\wedge q')\vee(q\wedge p')]=[(p\wedge q')\vee q]\wedge[(p\wedge q')\vee p']=[q\vee p]\wedge[p'\vee q'][/tex]
که میشه گزینه ی ۴.
روش دوم: می دونیم که [tex](p\longleftrightarrow q)'=(p\: xor\: q)'=(p\: xnor\: q)=[(p\wedge q)\vee(p'\wedge q')][/tex] که به شکل نرمال فصلی هست. اگه دئوالش رو به دست بیاریم و گزاره های اولیه ش رو هم نقیض کنیم عبارتی که به دست میاد معادلش هست. پس: [tex][(p\wedge q)\vee(p'\wedge q')]=\: [(p'\vee q')\wedge(p\vee q)][/tex]

---

سوال۲۳:
خب میبینیم اول که تابع f سه تا متغیر داره. بر اساس این که تابع چی هست، ترکیب های این متغیر ها که ۸ تا هستند میتونن صفر یا ۱ باشن.
تابع داده شده رو بررسی میکنیم که ببینیم کدوم مینترم ها( یا ماکسترم ها) ۱ یا ۰ هستند.
تابع داده شده [tex](p+q).(p.q')[/tex] هست. ساده ترش می کنیم که به صورت جمع مینترم ها یا ضرب ماکسترم ها به دست بیاد.
[tex](p\vee q)\wedge(p\wedge q')=[(p\vee q)\wedge p]\wedge[(p\vee q)\wedge q']=p\wedge(p\wedge q')=p\wedge q'[/tex] که حالا تبدیلش می کنیم به جمع مینترم ها (متغیر rرو نداره در نتیجه (r+!r ) رو ضرب میکنیم تووش) پس:
[tex]p\wedge q'=(p.q')=(p.q').(r+r')=p.q'.r+p.q'.r'=\: m4+m5=\sum(4,5)=\prod(0,1,2,3,6,7)[/tex]

---

سوال ۲۲
مهمان عزیز شما قادر به مشاهده پیوندهای انجمن مانشت نمی‌باشید. جهت مشاهده پیوندها ثبت نام کنید.
حل شده.

---

سوال ۲۱
[tex]p(x)[/tex] یعنی x عدد اول است.
[tex]q(x)[/tex] یعنی *x و x+2 عدد اول هستند* یا * x و x-2 عدد اول هستند.*
گزاره ی [tex]q(x)[/tex] یعنی x متعلق به یک جفت دوقلوی اول است.
گزاره ی *هیچ عدد اول بزرگتر از [tex]۱۰^{۶۰}[/tex]، عضو یک جفت دوقلوی اول نیست* ؟

گزینه ها رو بررسی می کنیم.
گزینه ی ۱: هر x ای که در نظر بگیریم، اگه x عدد اول باشه و هم این که xاز عدد [tex]۱۰^{۶۰}[/tex] بزرگتر باشه، اونوقت نقیض [tex]q(x)[/tex] یعنی (x عضو یک جفت دوقلوی اول نیست.) این گزینه درسته و بیان کننده ی همون گزاره هست.
سایر گزینه ها
گزینه ی ۲: حداقل یه x وجود داره که اگه اول باشه، بشه نتیجه گرفت که از عدد [tex]۱۰^{۶۰}[/tex] بزرگتر هست و عضو یک جفت دوقلوی اول هست. که این اصلا شبیه گزاره نیست.
گزینه ی ۳: حداقل یه x وجود داره که اگه از عدد [tex]۱۰^{۶۰}[/tex] بزرگتر باشه یا اگه متعلق به یک جفت دوقلوی اول نباشه، بشه نتیجه گرفت که اول نیست. که اینم شبیه گزاره ی صورت سوال نیست.
گزینه ی ۴: هر xای که در نظر بگیریم، اگه اول باشه و هم عضو یک جفت دوقلوی اول نباشه میشه نتیجه گرفت از عدد [tex]۱۰^{۶۰}[/tex] بزرگتر هست. که اینم گزاره ی صورت سوال رو توضیح نمیده.