[{"data":1,"prerenderedAt":-1},["ShallowReactive",2],{"categoryMenus":3,"blogPost-11481":193,"$fUEN98l1V-2DhMUHbVFjaMekp_JsAYJv5QEOPwAth6x0":215},{"status":4,"data":5},1,[6,46,106,124,144],{"id":4,"title":7,"list_order":4,"items":8},"آشنایی",[9,15,19,23,30,34,38,42],{"id":10,"link":11,"type":12,"slug":13,"title":14},8,"https:\u002F\u002Fgama.ir\u002Fpage\u002Fshow\u002F8","content",null,"قوانین و مقررات",{"id":16,"link":17,"type":12,"slug":13,"title":18},9,"https:\u002F\u002Fgama.ir\u002Fpage\u002Fshow\u002F9","پرسش های متداول",{"id":20,"link":21,"type":12,"slug":13,"title":22},12,"https:\u002F\u002Fgama.ir\u002Fpage\u002Fshow\u002F12","راهنمای عضویت",{"id":24,"link":25,"type":26,"slug":27,"handler":28,"title":29},132,"https:\u002F\u002Fgama.ir\u002Fpage\u002Fmakemoney","special","makemoney","makeMoney","درآمدزایی در گاما",{"id":31,"link":32,"type":12,"slug":13,"title":33},13,"https:\u002F\u002Fgama.ir\u002Fpage\u002Fshow\u002F13","راهنمای دبیران",{"id":35,"link":36,"type":12,"slug":13,"title":37},15,"https:\u002F\u002Fgama.ir\u002Fpage\u002Fshow\u002F15","راهنمای دانش آموزان",{"id":39,"link":40,"type":12,"slug":13,"title":41},141,"https:\u002F\u002Fgama.ir\u002Fpage\u002Fshow\u002F141","تغییرات اخیر",{"id":43,"link":44,"type":12,"slug":13,"title":45},69,"https:\u002F\u002Fgama.ir\u002Fpage\u002Fshow\u002F69","نرم افزارهای كاربردی",{"id":47,"title":48,"list_order":4,"items":49},2,"المپیادها",[50,54,58,62,66,70,74,78,82,86,90,94,98,102],{"id":51,"link":52,"type":12,"slug":13,"title":53},4,"https:\u002F\u002Fgama.ir\u002Fpage\u002Fshow\u002F4","المپیاد ریاضی",{"id":55,"link":56,"type":12,"slug":13,"title":57},19,"https:\u002F\u002Fgama.ir\u002Fpage\u002Fshow\u002F19","المپیاد فیزیک",{"id":59,"link":60,"type":12,"slug":13,"title":61},20,"https:\u002F\u002Fgama.ir\u002Fpage\u002Fshow\u002F20","المپیاد شیمی",{"id":63,"link":64,"type":12,"slug":13,"title":65},21,"https:\u002F\u002Fgama.ir\u002Fpage\u002Fshow\u002F21","المپیاد زیست شناسی",{"id":67,"link":68,"type":12,"slug":13,"title":69},22,"https:\u002F\u002Fgama.ir\u002Fpage\u002Fshow\u002F22","المپیاد کامپیوتر",{"id":71,"link":72,"type":12,"slug":13,"title":73},23,"https:\u002F\u002Fgama.ir\u002Fpage\u002Fshow\u002F23","المپیاد نجوم",{"id":75,"link":76,"type":12,"slug":13,"title":77},24,"https:\u002F\u002Fgama.ir\u002Fpage\u002Fshow\u002F24","المپیاد ادبی",{"id":79,"link":80,"type":12,"slug":13,"title":81},25,"https:\u002F\u002Fgama.ir\u002Fpage\u002Fshow\u002F25","المپیاد سلول‌های بنیادی",{"id":83,"link":84,"type":12,"slug":13,"title":85},95,"https:\u002F\u002Fgama.ir\u002Fpage\u002Fshow\u002F95","المپیاد جغرافیا",{"id":87,"link":88,"type":12,"slug":13,"title":89},114,"https:\u002F\u002Fgama.ir\u002Fpage\u002Fshow\u002F114","المپیاد علوم زمین",{"id":91,"link":92,"type":12,"slug":13,"title":93},115,"https:\u002F\u002Fgama.ir\u002Fpage\u002Fshow\u002F115","المپیاد مدیریت، اقتصاد و حکمرانی",{"id":95,"link":96,"type":12,"slug":13,"title":97},140,"https:\u002F\u002Fgama.ir\u002Fpage\u002Fshow\u002F140","المپیاد سواد رسانه‌ای",{"id":99,"link":100,"type":12,"slug":13,"title":101},136,"https:\u002F\u002Fgama.ir\u002Fpage\u002Fshow\u002F136","المپیاد نانو",{"id":103,"link":104,"type":12,"slug":13,"title":105},151,"https:\u002F\u002Fgama.ir\u002Fpage\u002Fshow\u002F151","المپیاد هوش مصنوعی",{"id":107,"title":108,"list_order":4,"items":109},3,"نمونه و تیزهوشان",[110,114,119],{"id":111,"link":112,"type":12,"slug":13,"title":113},26,"https:\u002F\u002Fgama.ir\u002Fpage\u002Fshow\u002F26","آزمون ورودی پایه چهارم",{"id":115,"link":116,"type":26,"slug":117,"handler":117,"title":118},27,"https:\u002F\u002Fgama.ir\u002Fpage\u002Fkhas6","khas6","آزمون ورودی پایه هفتم",{"id":120,"link":121,"type":26,"slug":122,"handler":122,"title":123},28,"https:\u002F\u002Fgama.ir\u002Fpage\u002Fkhas9","khas9","آزمون ورودی پايه دهم",{"id":125,"title":126,"list_order":4,"items":127},7,"کتابهای درسی",[128,132,136,140],{"id":129,"link":130,"type":12,"slug":13,"title":131},43,"https:\u002F\u002Fgama.ir\u002Fpage\u002Fshow\u002F43","دوره دبستان",{"id":133,"link":134,"type":12,"slug":13,"title":135},48,"https:\u002F\u002Fgama.ir\u002Fpage\u002Fshow\u002F48","دوره اول متوسطه",{"id":137,"link":138,"type":12,"slug":13,"title":139},49,"https:\u002F\u002Fgama.ir\u002Fpage\u002Fshow\u002F49","دوره دوم متوسطه",{"id":141,"link":142,"type":12,"slug":13,"title":143},50,"https:\u002F\u002Fgama.ir\u002Fpage\u002Fshow\u002F50","بارم بندی دروس",{"id":10,"title":145,"list_order":10,"items":146},"پیشنهاد ویژه",[147,152,157,162,167,172,177,181,185,189],{"id":148,"link":149,"type":26,"slug":150,"handler":150,"title":151},108,"https:\u002F\u002Fgama.ir\u002Fpage\u002Fhamahang6th","hamahang6th","امتحانات هماهنگ ششم",{"id":153,"link":154,"type":26,"slug":155,"handler":155,"title":156},71,"https:\u002F\u002Fgama.ir\u002Fpage\u002Fhamahang9th","hamahang9th","امتحانات هماهنگ نهم",{"id":158,"link":159,"type":26,"slug":160,"handler":160,"title":161},147,"https:\u002F\u002Fgama.ir\u002Fpage\u002Fnahaei10th","nahaei10th","امتحان نهایی دهم",{"id":163,"link":164,"type":26,"slug":165,"handler":165,"title":166},148,"https:\u002F\u002Fgama.ir\u002Fpage\u002Fnahaei11th","nahaei11th","امتحان نهایی یازدهم",{"id":168,"link":169,"type":26,"slug":170,"handler":170,"title":171},94,"https:\u002F\u002Fgama.ir\u002Fpage\u002Fnahaei12th","nahaei12th","امتحان نهایی دوازدهم",{"id":173,"link":174,"type":12,"slug":175,"title":176},68,"https:\u002F\u002Fgama.ir\u002Fpage\u002Fkonkur","konkur","بیست‌وسه سال کنکور سراسری",{"id":178,"link":179,"type":12,"slug":13,"title":180},67,"https:\u002F\u002Fgama.ir\u002Fpage\u002Fshow\u002F67","ويژه نامه نوبت دوم",{"id":182,"link":183,"type":12,"slug":13,"title":184},64,"https:\u002F\u002Fgama.ir\u002Fpage\u002Fshow\u002F64","آزمون‌های نوبت دوم",{"id":186,"link":187,"type":12,"slug":13,"title":188},78,"https:\u002F\u002Fgama.ir\u002Fpage\u002Fshow\u002F78","آزمون‌های نوبت اول",{"id":190,"link":191,"type":12,"slug":13,"title":192},90,"https:\u002F\u002Fgama.ir\u002Fpage\u002Fshow\u002F90","آزمون سنجش آغازین",{"id":194,"section":178,"base":195,"course":196,"lesson":197,"title":198,"cat":199,"pic":200,"info_graphic":13,"podcast":13,"body":201,"tags":202,"metadata":13,"featured":206,"status":4,"views":207,"subdate":208,"up_date":209,"first_name":210,"last_name":211,"avatar":13,"cat_title":212,"subdate_jalali":213,"update_jalali":214},11481,1169,1171,3860,"هم ارز (هم‌ارزش): دو گزاره‌ای که در همه حالت‌ها ارزش یکسان دارند.",14098,"https:\u002F\u002Fgama.ir\u002Fuploads\u002Fnews\u002Fthumbnails\u002F4livPgGCHVFOm3DI9AQC_800.png","\u003Cdiv aria-label=\"مقاله جامع هم ارزی گزاره ها\" dir=\"rtl\" id=\"microecon-article\" role=\"article\" style=\"background: #ffffff; box-sizing: border-box; color: #667085; font-family: IRANSans,Tahoma,Arial,sans-serif; line-height: 1.8; max-width: 980px; padding: 16px; width: 100%; word-break: break-word\">\r\n\u003Ch2 style=\"color: #344054; font-size: 22px; font-weight: 800\">هم&zwnj;ارزی (هم&zwnj;ارزشی) گزاره&zwnj;ها در منطق و ریاضیات\u003C\u002Fh2>\r\n\r\n\u003Cdiv style=\"color: #667085; font-size: 13px; margin-top: 4px; opacity: .95\">بررسی دو گزاره که در تمام حالات ممکن، ارزش یکسانی دارند؛ از جدول درستی تا کاربرد در حل مسئله\u003C\u002Fdiv>\r\n\r\n\u003Cdiv style=\"background: #fff8e1; border-radius: 12px; border: 1px solid #ffb600; color: #667085; margin-bottom: 14px; margin-left: 16px; margin-right: 16px; margin-top: 14px; padding: 12px 14px\">در این مقاله با مفهوم هم&zwnj;ارزی گزاره&zwnj;ها آشنا می&zwnj;شوید. یاد می&zwnj;گیرید چگونه دو عبارت به&zwnj;ظاهر متفاوت می&zwnj;توانند در تمام حالت&zwnj;ها ارزش یکسانی داشته باشند. با کمک جدول&zwnj;های درستی، نمادهای منطقی و مثال&zwnj;های روزمره، درک عمیقی از این اصل پایه&zwnj;ای در منطق ریاضی پیدا خواهید کرد. کاربرد هم&zwnj;ارزی در ساده&zwnj;سازی عبارت&zwnj;ها و حل مسائل نیز بررسی می&zwnj;شود.\u003C\u002Fdiv>\r\n\r\n\u003Ch3 style=\"border-bottom: 2px solid #ffb600; color: #344054; font-size: 18px; margin-bottom: 16px; margin-left: 8px; margin-right: 8px; margin-top: 16px; padding: 0 0 6px 0\">منظور از &laquo;هم&zwnj;ارزی گزاره&zwnj;ها&raquo; چیست؟\u003C\u002Fh3>\r\n\r\n\u003Cp>در منطق ریاضی، یک گزاره جمله&zwnj;ای خبری است که یا درست است یا نادرست. به این ویژگی &laquo;ارزش&raquo; یا &laquo;مقدار درستی&raquo; می&zwnj;گوییم. دو گزاره وقتی هم&zwnj;ارز (یا هم&zwnj;ارزش) نامیده می&zwnj;شوند که در هر شرایط ممکن، ارزش یکسانی داشته باشند. به عبارت دیگر، اگر یکی از آنها درست باشد، دیگری هم حتماً درست است و اگر یکی نادرست باشد، دیگری نیز نادرست خواهد بود.\u003C\u002Fp>\r\n\r\n\u003Cp>برای نشان دادن هم&zwnj;ارزی از نماد \u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline\"> &equiv; \u003C\u002Fspan> (سه خط) استفاده می&zwnj;کنیم. مثلاً اگر دو گزاره \u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline\"> P \u003C\u002Fspan> و \u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline\"> Q \u003C\u002Fspan> هم&zwnj;ارز باشند، می&zwnj;نویسیم: \u003Cspan style=\"direction: ltr; display: inline-block; unicode-bidi: isolate; vertical-align: baseline\">$P \\equiv Q$\u003C\u002Fspan>. توجه کنید که این نماد با نماد &laquo;اگر و فقط اگر&raquo; ( \u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline\">&harr;\u003C\u002Fspan> ) متفاوت است؛ هرچند رابطه نزدیکی با هم دارند. هم&zwnj;ارزی یک رابطه بین دو گزاره است، در حالی که \u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline\">&harr;\u003C\u002Fspan> یک عملگر منطقی برای ساختن یک گزاره جدید است. گزاره \u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline\">$P \\leftrightarrow Q$\u003C\u002Fspan> درست است اگر و فقط اگر \u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline\"> P \u003C\u002Fspan> و \u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline\"> Q \u003C\u002Fspan> هم&zwnj;ارز باشند.\u003C\u002Fp>\r\n\r\n\u003Ch3 style=\"border-bottom: 2px solid #ffb600; color: #344054; font-size: 18px; margin-bottom: 16px; margin-left: 8px; margin-right: 8px; margin-top: 16px; padding: 0 0 6px 0\">ابزار تشخیص: جدول درستی\u003C\u002Fh3>\r\n\r\n\u003Cp>مهم&zwnj;ترین ابزار برای تشخیص هم&zwnj;ارزی دو گزاره، جدول درستی است. در این جدول، تمام ترکیب&zwnj;های ممکن از ارزش اجزای گزاره را می&zwnj;نویسیم و سپس ارزش نهایی هر دو گزاره را در هر حالت محاسبه می&zwnj;کنیم. اگر ستون مربوط به ارزش دو گزاره دقیقاً یکسان باشد، آن دو گزاره با یکدیگر هم&zwnj;ارز هستند.\u003C\u002Fp>\r\n\r\n\u003Cp>برای مثال، دو گزاره \u003Cspan style=\"direction: ltr; display: inline-block; unicode-bidi: isolate; vertical-align: baseline\">$\\neg (P \\land Q)$\u003C\u002Fspan> (نقیض &laquo;P و Q&raquo;) و \u003Cspan style=\"direction: ltr; display: inline-block; unicode-bidi: isolate; vertical-align: baseline\">$(\\neg P) \\lor (\\neg Q)$\u003C\u002Fspan> (&laquo;نه P&raquo; یا &laquo;نه Q&raquo;) را در نظر بگیرید. با استفاده از جدول زیر می&zwnj;توانیم هم&zwnj;ارزی آنها را بررسی کنیم که به قانون \u003Cspan style=\"background: #fff3c4; border-radius: 999px; color: #24292f; display: inline-block; font-size: 12px; line-height: 1; padding: 4px 8px; vertical-align: baseline\">دمورگان\u003C\u002Fspan> معروف است.\u003C\u002Fp>\r\n\r\n\u003Cdiv aria-label=\"جدول درستی قانون دمورگان\" role=\"region\" style=\"-webkit-overflow-scrolling: touch; border-radius: 12px; border: 1px solid #e5e7eb; box-sizing: border-box; margin-bottom: 8px; margin-left: 16px; margin-right: 16px; margin-top: 8px; overflow: auto; padding: 0\">\r\n\u003Ctable cellspacing=\"0\" style=\"border-collapse: collapse; box-sizing: border-box; min-width: 600px; width: 100%\">\r\n \u003Cthead>\r\n  \u003Ctr>\r\n   \u003Cth style=\"box-sizing: border-box; text-align: right; padding: 10px 12px; background: #24292f; color: #ffffff; font-size: 13px; font-weight: 700; border-bottom: 1px solid #1f2328; : \">\u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline\">P\u003C\u002Fspan>\u003C\u002Fth>\r\n   \u003Cth style=\"box-sizing: border-box; text-align: right; padding: 10px 12px; background: #24292f; color: #ffffff; font-size: 13px; font-weight: 700; border-bottom: 1px solid #1f2328; : \">\u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline\">Q\u003C\u002Fspan>\u003C\u002Fth>\r\n   \u003Cth style=\"box-sizing: border-box; text-align: right; padding: 10px 12px; background: #24292f; color: #ffffff; font-size: 13px; font-weight: 700; border-bottom: 1px solid #1f2328; : \">\u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline\">P &and; Q\u003C\u002Fspan>\u003C\u002Fth>\r\n   \u003Cth style=\"box-sizing: border-box; text-align: right; padding: 10px 12px; background: #24292f; color: #ffffff; font-size: 13px; font-weight: 700; border-bottom: 1px solid #1f2328; : \">\u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline\">&not;(P &and; Q)\u003C\u002Fspan>\u003C\u002Fth>\r\n   \u003Cth style=\"box-sizing: border-box; text-align: right; padding: 10px 12px; background: #24292f; color: #ffffff; font-size: 13px; font-weight: 700; border-bottom: 1px solid #1f2328; : \">\u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline\">&not;P\u003C\u002Fspan>\u003C\u002Fth>\r\n   \u003Cth style=\"box-sizing: border-box; text-align: right; padding: 10px 12px; background: #24292f; color: #ffffff; font-size: 13px; font-weight: 700; border-bottom: 1px solid #1f2328; : \">\u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline\">&not;Q\u003C\u002Fspan>\u003C\u002Fth>\r\n   \u003Cth style=\"box-sizing: border-box; text-align: right; padding: 10px 12px; background: #24292f; color: #ffffff; font-size: 13px; font-weight: 700; border-bottom: 1px solid #1f2328; : \">\u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline\">(&not;P) &or; (&not;Q)\u003C\u002Fspan>\u003C\u002Fth>\r\n  \u003C\u002Ftr>\r\n \u003C\u002Fthead>\r\n \u003Ctbody>\r\n  \u003Ctr style=\"background: #ffffff; : \">\r\n   \u003Ctd style=\"border-bottom: 1px solid #edf2f7; box-sizing: border-box; color: #667085; padding: 10px 12px; text-align: right\">\u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline\">د\u003C\u002Fspan>\u003C\u002Ftd>\r\n   \u003Ctd style=\"border-bottom: 1px solid #edf2f7; box-sizing: border-box; color: #667085; padding: 10px 12px; text-align: right\">\u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline\">د\u003C\u002Fspan>\u003C\u002Ftd>\r\n   \u003Ctd style=\"border-bottom: 1px solid #edf2f7; box-sizing: border-box; color: #667085; padding: 10px 12px; text-align: right\">\u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline\">د\u003C\u002Fspan>\u003C\u002Ftd>\r\n   \u003Ctd style=\"border-bottom: 1px solid #edf2f7; box-sizing: border-box; color: #667085; padding: 10px 12px; text-align: right\">\u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline\">ن\u003C\u002Fspan>\u003C\u002Ftd>\r\n   \u003Ctd style=\"border-bottom: 1px solid #edf2f7; box-sizing: border-box; color: #667085; padding: 10px 12px; text-align: right\">\u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline\">ن\u003C\u002Fspan>\u003C\u002Ftd>\r\n   \u003Ctd style=\"border-bottom: 1px solid #edf2f7; box-sizing: border-box; color: #667085; padding: 10px 12px; text-align: right\">\u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline\">ن\u003C\u002Fspan>\u003C\u002Ftd>\r\n   \u003Ctd style=\"border-bottom: 1px solid #edf2f7; box-sizing: border-box; color: #667085; padding: 10px 12px; text-align: right\">\u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline\">ن\u003C\u002Fspan>\u003C\u002Ftd>\r\n  \u003C\u002Ftr>\r\n  \u003Ctr style=\"background: #f8fafc; : \">\r\n   \u003Ctd style=\"border-bottom: 1px solid #edf2f7; box-sizing: border-box; color: #667085; padding: 10px 12px; text-align: right\">\u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline\">د\u003C\u002Fspan>\u003C\u002Ftd>\r\n   \u003Ctd style=\"border-bottom: 1px solid #edf2f7; box-sizing: border-box; color: #667085; padding: 10px 12px; text-align: right\">\u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline\">ن\u003C\u002Fspan>\u003C\u002Ftd>\r\n   \u003Ctd style=\"border-bottom: 1px solid #edf2f7; box-sizing: border-box; color: #667085; padding: 10px 12px; text-align: right\">\u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline\">ن\u003C\u002Fspan>\u003C\u002Ftd>\r\n   \u003Ctd style=\"border-bottom: 1px solid #edf2f7; box-sizing: border-box; color: #667085; padding: 10px 12px; text-align: right\">\u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline\">د\u003C\u002Fspan>\u003C\u002Ftd>\r\n   \u003Ctd style=\"border-bottom: 1px solid #edf2f7; box-sizing: border-box; color: #667085; padding: 10px 12px; text-align: right\">\u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline\">ن\u003C\u002Fspan>\u003C\u002Ftd>\r\n   \u003Ctd style=\"border-bottom: 1px solid #edf2f7; box-sizing: border-box; color: #667085; padding: 10px 12px; text-align: right\">\u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline\">د\u003C\u002Fspan>\u003C\u002Ftd>\r\n   \u003Ctd style=\"border-bottom: 1px solid #edf2f7; box-sizing: border-box; color: #667085; padding: 10px 12px; text-align: right\">\u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline\">د\u003C\u002Fspan>\u003C\u002Ftd>\r\n  \u003C\u002Ftr>\r\n  \u003Ctr style=\"background: #ffffff; : \">\r\n   \u003Ctd style=\"border-bottom: 1px solid #edf2f7; box-sizing: border-box; color: #667085; padding: 10px 12px; text-align: right\">\u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline\">ن\u003C\u002Fspan>\u003C\u002Ftd>\r\n   \u003Ctd style=\"border-bottom: 1px solid #edf2f7; box-sizing: border-box; color: #667085; padding: 10px 12px; text-align: right\">\u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline\">د\u003C\u002Fspan>\u003C\u002Ftd>\r\n   \u003Ctd style=\"border-bottom: 1px solid #edf2f7; box-sizing: border-box; color: #667085; padding: 10px 12px; text-align: right\">\u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline\">ن\u003C\u002Fspan>\u003C\u002Ftd>\r\n   \u003Ctd style=\"border-bottom: 1px solid #edf2f7; box-sizing: border-box; color: #667085; padding: 10px 12px; text-align: right\">\u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline\">د\u003C\u002Fspan>\u003C\u002Ftd>\r\n   \u003Ctd style=\"border-bottom: 1px solid #edf2f7; box-sizing: border-box; color: #667085; padding: 10px 12px; text-align: right\">\u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline\">د\u003C\u002Fspan>\u003C\u002Ftd>\r\n   \u003Ctd style=\"border-bottom: 1px solid #edf2f7; box-sizing: border-box; color: #667085; padding: 10px 12px; text-align: right\">\u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline\">ن\u003C\u002Fspan>\u003C\u002Ftd>\r\n   \u003Ctd style=\"border-bottom: 1px solid #edf2f7; box-sizing: border-box; color: #667085; padding: 10px 12px; text-align: right\">\u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline\">د\u003C\u002Fspan>\u003C\u002Ftd>\r\n  \u003C\u002Ftr>\r\n  \u003Ctr style=\"background: #f8fafc; : \">\r\n   \u003Ctd style=\"border-bottom: 1px solid #edf2f7; box-sizing: border-box; color: #667085; padding: 10px 12px; text-align: right\">\u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline\">ن\u003C\u002Fspan>\u003C\u002Ftd>\r\n   \u003Ctd style=\"border-bottom: 1px solid #edf2f7; box-sizing: border-box; color: #667085; padding: 10px 12px; text-align: right\">\u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline\">ن\u003C\u002Fspan>\u003C\u002Ftd>\r\n   \u003Ctd style=\"border-bottom: 1px solid #edf2f7; box-sizing: border-box; color: #667085; padding: 10px 12px; text-align: right\">\u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline\">ن\u003C\u002Fspan>\u003C\u002Ftd>\r\n   \u003Ctd style=\"border-bottom: 1px solid #edf2f7; box-sizing: border-box; color: #667085; padding: 10px 12px; text-align: right\">\u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline\">د\u003C\u002Fspan>\u003C\u002Ftd>\r\n   \u003Ctd style=\"border-bottom: 1px solid #edf2f7; box-sizing: border-box; color: #667085; padding: 10px 12px; text-align: right\">\u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline\">د\u003C\u002Fspan>\u003C\u002Ftd>\r\n   \u003Ctd style=\"border-bottom: 1px solid #edf2f7; box-sizing: border-box; color: #667085; padding: 10px 12px; text-align: right\">\u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline\">د\u003C\u002Fspan>\u003C\u002Ftd>\r\n   \u003Ctd style=\"border-bottom: 1px solid #edf2f7; box-sizing: border-box; color: #667085; padding: 10px 12px; text-align: right\">\u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline\">د\u003C\u002Fspan>\u003C\u002Ftd>\r\n  \u003C\u002Ftr>\r\n \u003C\u002Ftbody>\r\n\u003C\u002Ftable>\r\n\u003C\u002Fdiv>\r\n\r\n\u003Cp>ستون چهارم ( \u003Cspan style=\"direction: ltr; display: inline-block; unicode-bidi: isolate; vertical-align: baseline\">$\\neg (P \\land Q)$\u003C\u002Fspan> ) و ستون هفتم ( \u003Cspan style=\"direction: ltr; display: inline-block; unicode-bidi: isolate; vertical-align: baseline\">$(\\neg P) \\lor (\\neg Q)$\u003C\u002Fspan> ) کاملاً یکسان هستند. بنابراین این دو گزاره با یکدیگر هم&zwnj;ارزند و می&zwnj;توان نوشت: \u003Cspan style=\"direction: ltr; display: inline-block; unicode-bidi: isolate; vertical-align: baseline\">$\\neg (P \\land Q) \\equiv (\\neg P) \\lor (\\neg Q)$\u003C\u002Fspan>.\u003C\u002Fp>\r\n\r\n\u003Ch3 style=\"border-bottom: 2px solid #ffb600; color: #344054; font-size: 18px; margin-bottom: 16px; margin-left: 8px; margin-right: 8px; margin-top: 16px; padding: 0 0 6px 0\">هم&zwnj;ارزی&zwnj;های پایه و پرکاربرد\u003C\u002Fh3>\r\n\r\n\u003Cp>برخی از هم&zwnj;ارزی&zwnj;ها آنقدر مهم و پایه&zwnj;ای هستند که به عنوان قوانین جابجایی و توزیع&zwnj;پذیری شناخته می&zwnj;شوند. شناخت این قوانین به ما کمک می&zwnj;کند تا بدون نیاز به جدول درستی، عبارت&zwnj;های پیچیده را ساده کنیم. در جدول زیر مهم&zwnj;ترین آنها را می&zwnj;بینید. در این قوانین، \u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline\">⊤\u003C\u002Fspan> نماد گزاره&zwnj;ای است که همیشه درست است (تناقض) و \u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline\">&perp;\u003C\u002Fspan> نماد گزاره&zwnj;ای است که همیشه نادرست است.\u003C\u002Fp>\r\n\r\n\u003Cdiv aria-label=\"جدول قوانین هم ارزی\" role=\"region\" style=\"-webkit-overflow-scrolling: touch; border-radius: 12px; border: 1px solid #e5e7eb; box-sizing: border-box; margin-bottom: 8px; margin-left: 16px; margin-right: 16px; margin-top: 8px; overflow: auto; padding: 0\">\r\n\u003Ctable cellspacing=\"0\" style=\"border-collapse: collapse; box-sizing: border-box; min-width: 600px; width: 100%\">\r\n \u003Cthead>\r\n  \u003Ctr>\r\n   \u003Cth style=\"box-sizing: border-box; text-align: right; padding: 10px 12px; background: #24292f; color: #ffffff; font-size: 13px; font-weight: 700; border-bottom: 1px solid #1f2328; : \">نام قانون\u003C\u002Fth>\r\n   \u003Cth style=\"box-sizing: border-box; text-align: right; padding: 10px 12px; background: #24292f; color: #ffffff; font-size: 13px; font-weight: 700; border-bottom: 1px solid #1f2328; : \">فرمول هم&zwnj;ارزی (با \u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline\">&equiv;\u003C\u002Fspan>)\u003C\u002Fth>\r\n  \u003C\u002Ftr>\r\n \u003C\u002Fthead>\r\n \u003Ctbody>\r\n  \u003Ctr style=\"background: #ffffff; : \">\r\n   \u003Ctd style=\"border-bottom: 1px solid #edf2f7; box-sizing: border-box; color: #667085; padding: 10px 12px; text-align: right\">نقیض مضاعف\u003C\u002Ftd>\r\n   \u003Ctd style=\"border-bottom: 1px solid #edf2f7; box-sizing: border-box; color: #667085; padding: 10px 12px; text-align: right\">\u003Cspan style=\"direction: ltr; display: inline-block; unicode-bidi: isolate; vertical-align: baseline\">$\\neg (\\neg P) \\equiv P$\u003C\u002Fspan>\u003C\u002Ftd>\r\n  \u003C\u002Ftr>\r\n  \u003Ctr style=\"background: #f8fafc; : \">\r\n   \u003Ctd style=\"border-bottom: 1px solid #edf2f7; box-sizing: border-box; color: #667085; padding: 10px 12px; text-align: right\">قوانین دمورگان\u003C\u002Ftd>\r\n   \u003Ctd style=\"border-bottom: 1px solid #edf2f7; box-sizing: border-box; color: #667085; padding: 10px 12px; text-align: right\">\u003Cspan style=\"direction: ltr; display: inline-block; unicode-bidi: isolate; vertical-align: baseline\">$\\neg (P \\land Q) \\equiv (\\neg P) \\lor (\\neg Q)$\u003C\u002Fspan>\u003Cbr>\r\n   \u003Cspan style=\"direction: ltr; display: inline-block; unicode-bidi: isolate; vertical-align: baseline\">$\\neg (P \\lor Q) \\equiv (\\neg P) \\land (\\neg Q)$\u003C\u002Fspan>\u003C\u002Ftd>\r\n  \u003C\u002Ftr>\r\n  \u003Ctr style=\"background: #ffffff; : \">\r\n   \u003Ctd style=\"border-bottom: 1px solid #edf2f7; box-sizing: border-box; color: #667085; padding: 10px 12px; text-align: right\">خاصیت جابجایی\u003C\u002Ftd>\r\n   \u003Ctd style=\"border-bottom: 1px solid #edf2f7; box-sizing: border-box; color: #667085; padding: 10px 12px; text-align: right\">\u003Cspan style=\"direction: ltr; display: inline-block; unicode-bidi: isolate; vertical-align: baseline\">$P \\land Q \\equiv Q \\land P$\u003C\u002Fspan>\u003Cbr>\r\n   \u003Cspan style=\"direction: ltr; display: inline-block; unicode-bidi: isolate; vertical-align: baseline\">$P \\lor Q \\equiv Q \\lor P$\u003C\u002Fspan>\u003C\u002Ftd>\r\n  \u003C\u002Ftr>\r\n  \u003Ctr style=\"background: #f8fafc; : \">\r\n   \u003Ctd style=\"border-bottom: 1px solid #edf2f7; box-sizing: border-box; color: #667085; padding: 10px 12px; text-align: right\">خاصیت شرکت&zwnj;پذیری\u003C\u002Ftd>\r\n   \u003Ctd style=\"border-bottom: 1px solid #edf2f7; box-sizing: border-box; color: #667085; padding: 10px 12px; text-align: right\">\u003Cspan style=\"direction: ltr; display: inline-block; unicode-bidi: isolate; vertical-align: baseline\">$(P \\land Q) \\land R \\equiv P \\land (Q \\land R)$\u003C\u002Fspan>\u003Cbr>\r\n   \u003Cspan style=\"direction: ltr; display: inline-block; unicode-bidi: isolate; vertical-align: baseline\">$(P \\lor Q) \\lor R \\equiv P \\lor (Q \\lor R)$\u003C\u002Fspan>\u003C\u002Ftd>\r\n  \u003C\u002Ftr>\r\n  \u003Ctr style=\"background: #ffffff; : \">\r\n   \u003Ctd style=\"border-bottom: 1px solid #edf2f7; box-sizing: border-box; color: #667085; padding: 10px 12px; text-align: right\">خاصیت توزیع&zwnj;پذیری\u003C\u002Ftd>\r\n   \u003Ctd style=\"border-bottom: 1px solid #edf2f7; box-sizing: border-box; color: #667085; padding: 10px 12px; text-align: right\">\u003Cspan style=\"direction: ltr; display: inline-block; unicode-bidi: isolate; vertical-align: baseline\">$P \\land (Q \\lor R) \\equiv (P \\land Q) \\lor (P \\land R)$\u003C\u002Fspan>\u003Cbr>\r\n   \u003Cspan style=\"direction: ltr; display: inline-block; unicode-bidi: isolate; vertical-align: baseline\">$P \\lor (Q \\land R) \\equiv (P \\lor Q) \\land (P \\lor R)$\u003C\u002Fspan>\u003C\u002Ftd>\r\n  \u003C\u002Ftr>\r\n  \u003Ctr style=\"background: #f8fafc; : \">\r\n   \u003Ctd style=\"border-bottom: 1px solid #edf2f7; box-sizing: border-box; color: #667085; padding: 10px 12px; text-align: right\">قوانین همانی\u003C\u002Ftd>\r\n   \u003Ctd style=\"border-bottom: 1px solid #edf2f7; box-sizing: border-box; color: #667085; padding: 10px 12px; text-align: right\">\u003Cspan style=\"direction: ltr; display: inline-block; unicode-bidi: isolate; vertical-align: baseline\">$P \\land \\top \\equiv P$\u003C\u002Fspan> ، \u003Cspan style=\"direction: ltr; display: inline-block; unicode-bidi: isolate; vertical-align: baseline\">$P \\lor \\bot \\equiv P$\u003C\u002Fspan>\u003C\u002Ftd>\r\n  \u003C\u002Ftr>\r\n  \u003Ctr style=\"background: #ffffff; : \">\r\n   \u003Ctd style=\"border-bottom: 1px solid #edf2f7; box-sizing: border-box; color: #667085; padding: 10px 12px; text-align: right\">قوانین مکملی\u003C\u002Ftd>\r\n   \u003Ctd style=\"border-bottom: 1px solid #edf2f7; box-sizing: border-box; color: #667085; padding: 10px 12px; text-align: right\">\u003Cspan style=\"direction: ltr; display: inline-block; unicode-bidi: isolate; vertical-align: baseline\">$P \\land \\neg P \\equiv \\bot$\u003C\u002Fspan> ، \u003Cspan style=\"direction: ltr; display: inline-block; unicode-bidi: isolate; vertical-align: baseline\">$P \\lor \\neg P \\equiv \\top$\u003C\u002Fspan>\u003C\u002Ftd>\r\n  \u003C\u002Ftr>\r\n \u003C\u002Ftbody>\r\n\u003C\u002Ftable>\r\n\u003C\u002Fdiv>\r\n\r\n\u003Ch3 style=\"border-bottom: 2px solid #ffb600; color: #344054; font-size: 18px; margin-bottom: 16px; margin-left: 8px; margin-right: 8px; margin-top: 16px; padding: 0 0 6px 0\">کاربرد عملی: ساده&zwnj;سازی عبارت&zwnj;های منطقی\u003C\u002Fh3>\r\n\r\n\u003Cp>فرض کنید در یک مسابقه برنامه&zwnj;نویسی، شرطی به شکل زیر داده شده است: \u003Cspan style=\"direction: ltr; display: inline-block; unicode-bidi: isolate; vertical-align: baseline\">$(A \\lor B) \\land (A \\lor \\neg B)$\u003C\u002Fspan>. برای اجرای بهینه&zwnj;تر کد، می&zwnj;خواهیم این شرط را ساده کنیم. با استفاده از قانون توزیع&zwnj;پذیری به صورت معکوس، داریم:\u003C\u002Fp>\r\n\r\n\u003Cdiv style=\"background: #fff7e6; border-radius: 12px; border: 1px solid #ffb600; color: #7a5200; font-size: 13px; padding: 12px 14px\">\u003Cspan style=\"direction: ltr; display: inline-block; unicode-bidi: isolate; vertical-align: baseline\">$(A \\lor B) \\land (A \\lor \\neg B) \\equiv A \\lor (B \\land \\neg B)$\u003C\u002Fspan>\u003C\u002Fdiv>\r\n\r\n\u003Cp>طبق قانون مکملی، \u003Cspan style=\"direction: ltr; display: inline-block; unicode-bidi: isolate; vertical-align: baseline\">$B \\land \\neg B$\u003C\u002Fspan> همیشه نادرست (\u003Cspan style=\"direction: ltr; display: inline-block; unicode-bidi: isolate; vertical-align: baseline\">$\\bot$\u003C\u002Fspan>) است. بنابراین داریم: \u003Cspan style=\"direction: ltr; display: inline-block; unicode-bidi: isolate; vertical-align: baseline\">$A \\lor \\bot$\u003C\u002Fspan>. در نهایت، طبق قانون همانی، \u003Cspan style=\"direction: ltr; display: inline-block; unicode-bidi: isolate; vertical-align: baseline\">$A \\lor \\bot \\equiv A$\u003C\u002Fspan>. پس کل عبارت پیچیده اولیه با یک گزاره ساده \u003Cspan style=\"direction: ltr; display: inline-block; unicode-bidi: isolate; vertical-align: baseline\"> A \u003C\u002Fspan> هم&zwnj;ارز است. برنامه&zwnj;نویس می&zwnj;تواند به جای محاسبه&zwnj;های متعدد، فقط مقدار \u003Cspan style=\"direction: ltr; display: inline-block; unicode-bidi: isolate; vertical-align: baseline\"> A \u003C\u002Fspan> را بررسی کند.\u003C\u002Fp>\r\n\r\n\u003Cp>مثال دیگر در زندگی روزمره: فرض کنیم گزاره &laquo;اگر باران بیاید، زمین خیس می&zwnj;شود&raquo; را داریم. هم&zwnj;ارز این گزاره، عبارت &laquo;یا باران نمی&zwnj;آید یا زمین خیس می&zwnj;شود&raquo; است. این هم&zwnj;ارزی که به \u003Cspan style=\"background: #fff3c4; border-radius: 999px; color: #24292f; display: inline-block; font-size: 12px; line-height: 1; padding: 4px 8px; vertical-align: baseline\">حذف شرطی\u003C\u002Fspan> معروف است، به صورت فرمول زیر نوشته می&zwnj;شود:\u003C\u002Fp>\r\n\r\n\u003Cdiv style=\"background: #fff7e6; border-radius: 12px; border: 1px solid #ffb600; color: #7a5200; font-size: 13px; padding: 12px 14px\">\u003Cspan style=\"direction: ltr; display: inline-block; unicode-bidi: isolate; vertical-align: baseline\">$P \\rightarrow Q \\equiv \\neg P \\lor Q$\u003C\u002Fspan>\u003C\u002Fdiv>\r\n\r\n\u003Ch3 style=\"border-bottom: 2px solid #ffb600; color: #344054; font-size: 18px; margin-bottom: 16px; margin-left: 8px; margin-right: 8px; margin-top: 16px; padding: 0 0 6px 0\">چالش&zwnj;های مفهومی\u003C\u002Fh3>\r\n\r\n\u003Cdiv style=\"background: #f8fafc; border-radius: 12px; border: 1px solid #e2e8f0; padding: 12px 14px\">\r\n\u003Cdiv style=\"margin-bottom: 12px; padding: 0px\">\u003Cstrong>۱. آیا هم&zwnj;ارزی گزاره&zwnj;ها با برابری ریاضی یکی است؟\u003C\u002Fstrong>\u003Cbr>\r\nپاسخ: خیر. برابری ریاضی (\u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline\"> = \u003C\u002Fspan>) معمولاً به یکسان بودن مقدار عددی اشاره دارد، اما هم&zwnj;ارزی گزاره&zwnj;ها به یکسان بودن ارزش درستی (درست یا نادرست) در همه حالات اشاره دارد. مثلاً گزاره&zwnj;های &laquo;\u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline\">x + x = 2x\u003C\u002Fspan>&raquo; و &laquo;\u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline\">x &lt; 3\u003C\u002Fspan>&raquo; از نظر ریاضی قابل قیاس نیستند، اما از نظر منطقی می&zwnj;توانند در قالب گزاره&zwnj;های شرطی با هم مقایسه شوند.\u003C\u002Fdiv>\r\n\r\n\u003Cdiv style=\"margin-bottom: 12px; padding: 0px\">\u003Cstrong>۲. اگر دو گزاره برای برخی حالات ارزش یکسان و برای برخی متفاوت داشته باشند، آیا می&zwnj;توان آنها را هم&zwnj;ارز نامید؟\u003C\u002Fstrong>\u003Cbr>\r\nپاسخ: خیر. شرط هم&zwnj;ارزی، یکسانی ارزش در &laquo;همه&raquo; حالات ممکن است. حتی اگر فقط یک حالت پیدا شود که در آن یکی درست و دیگری نادرست باشد، دو گزاره هم&zwnj;ارز نیستند. برای اثبات عدم هم&zwnj;ارزی، پیدا کردن یک مثال نقض کافی است.\u003C\u002Fdiv>\r\n\r\n\u003Cdiv style=\"padding: 0px\">\u003Cstrong>۳. رابطه بین &laquo;هم&zwnj;ارزی&raquo; و &laquo;اگر و فقط اگر&raquo; چیست؟\u003C\u002Fstrong>\u003Cbr>\r\nپاسخ: گزاره \u003Cspan style=\"direction: ltr; display: inline-block; unicode-bidi: isolate; vertical-align: baseline\">$P \\leftrightarrow Q$\u003C\u002Fspan> یک گزاره مرکب است که دقیقاً زمانی درست است که \u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline\"> P \u003C\u002Fspan> و \u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline\"> Q \u003C\u002Fspan> هم&zwnj;ارز باشند. به عبارت دیگر، \u003Cspan style=\"direction: ltr; display: inline-block; unicode-bidi: isolate; vertical-align: baseline\">$P \\equiv Q$\u003C\u002Fspan> یعنی \u003Cspan style=\"direction: ltr; display: inline-block; unicode-bidi: isolate; vertical-align: baseline\">$P \\leftrightarrow Q$\u003C\u002Fspan> یک قضیه (همیشه درست) است. پس هم&zwnj;ارزی یک رابطه است، در حالی که \u003Cspan style=\"direction: ltr; display: inline-block; unicode-bidi: isolate; vertical-align: baseline\">$\\leftrightarrow$\u003C\u002Fspan> یک عملگر برای ساختن گزاره جدید است.\u003C\u002Fdiv>\r\n\u003C\u002Fdiv>\r\n\r\n\u003Cdiv style=\"background: #fffdf3; border-radius: 12px; border: 1px solid #ffb600; color: #24292f; padding: 12px 14px\">\u003Cstrong>جمع&zwnj;بندی:\u003C\u002Fstrong> هم&zwnj;ارزی گزاره&zwnj;ها مفهوم بنیادینی در منطق است که به ما می&zwnj;گوید دو عبارت، با وجود تفاوت در ساختار، از نظر معنایی (ارزش درستی) یکسان هستند. ابزار اصلی تشخیص آن جدول درستی است و قوانینی مانند دمورگان، توزیع&zwnj;پذیری و نقیض مضاعف به ما امکان ساده&zwnj;سازی و دستکاری عبارت&zwnj;ها را می&zwnj;دهند. این مفهوم نه تنها در ریاضیات و فلسفه، که در علوم کامپیوتر، طراحی مدارهای دیجیتال و بهینه&zwnj;سازی الگوریتم&zwnj;ها کاربرد گسترده&zwnj;ای دارد.\u003C\u002Fdiv>\r\n\r\n\u003Ch3 style=\"border-bottom: 2px solid #ffb600; color: #344054; font-size: 18px; margin-bottom: 16px; margin-left: 8px; margin-right: 8px; margin-top: 16px; padding: 0 0 6px 0\">پاورقی\u003C\u002Fh3>\r\n\r\n\u003Cp>\u003Csup>1\u003C\u002Fsup> گزاره (Proposition): جمله&zwnj;ای خبری که ارزش درستی آن (درست یا نادرست) قابل تعیین باشد.\u003C\u002Fp>\r\n\r\n\u003Cp>\u003Csup>2\u003C\u002Fsup> جدول درستی (Truth Table): جدولی که تمام ترکیب&zwnj;های ممکن از ارزش گزاره&zwnj;های ساده را نشان داده و ارزش گزاره&zwnj;های مرکب را برای هر ترکیب محاسبه می&zwnj;کند.\u003C\u002Fp>\r\n\r\n\u003Cp>\u003Csup>3\u003C\u002Fsup> قانون دمورگان (De Morgan&#39;s Laws): مجموعه&zwnj;ای از قوانین در جبر بول که رابطه بین عطف، فصل و نقیض را بیان می&zwnj;کند.\u003C\u002Fp>\r\n\r\n\u003Cp>\u003Csup>4\u003C\u002Fsup> عطف (Conjunction): عملگر منطقی &laquo;و&raquo; که با نماد \u003Cspan style=\"direction: ltr; display: inline-block; unicode-bidi: isolate; vertical-align: baseline\">$\\land$\u003C\u002Fspan> نشان داده می&zwnj;شود.\u003C\u002Fp>\r\n\r\n\u003Cp>\u003Csup>5\u003C\u002Fsup> فصل (Disjunction): عملگر منطقی &laquo;یا&raquo; که با نماد \u003Cspan style=\"direction: ltr; display: inline-block; unicode-bidi: isolate; vertical-align: baseline\">$\\lor$\u003C\u002Fspan> نشان داده می&zwnj;شود.\u003C\u002Fp>\r\n\r\n\u003Cp>\u003Csup>6\u003C\u002Fsup> نقیض (Negation): عملگر منطقی &laquo;نه&raquo; که با نماد \u003Cspan style=\"direction: ltr; display: inline-block; unicode-bidi: isolate; vertical-align: baseline\">$\\neg$\u003C\u002Fspan> نشان داده می&zwnj;شود.\u003C\u002Fp>\r\n\r\n\u003Cp>\u003Csup>7\u003C\u002Fsup> شرطی (Conditional): عملگر منطقی &laquo;اگر ... آنگاه ...&raquo; که با نماد \u003Cspan style=\"direction: ltr; display: inline-block; unicode-bidi: isolate; vertical-align: baseline\">$\\rightarrow$\u003C\u002Fspan> نشان داده می&zwnj;شود.\u003C\u002Fp>\r\n\u003C\u002Fdiv>\r\n",[203,204,205],"پایهٔ یازدهم","آمار و احتمال یازدهم","هم ارز",0,731,"2026-02-22 17:44:00","2026-09-01 12:36:33","سحر","شیرزاد","کپسول آموزشی","1404\u002F12\u002F3","12:36 1405\u002F06\u002F10",{"tests":216,"papers":217,"files":218,"questions":219,"exams":220,"tutorials":221,"blogs":222},[],[],[],[],[],[],[223,232,240,248,256,264,272,280,288,296,304,312],{"id":224,"title":225,"cat":199,"pic":226,"up_date":227,"title_url":228,"url":229,"legacy_url":230,"cat_title":212,"update_jalali":231},11453,"گزاره: جملهٔ خبری که فقط یکی از دو حالتِ درست یا نادرست را دارد.","https:\u002F\u002Fgama.ir\u002Fuploads\u002Fnews\u002Fthumbnails\u002FGJhX352uQ2imvdQMqQFN_200.png","2026-09-01 13:03:24","گزاره-جمله-خبری-که-فقط-یکی-از-دو-حالت-درست-یا-نادرست-را-دارد","https:\u002F\u002Fgama.ir\u002Fblogs\u002F11453\u002Fگزاره-جمله-خبری-که-فقط-یکی-از-دو-حالت-درست-یا-نادرست-را-دارد","https:\u002F\u002Fgama.ir\u002Fblog\u002F11453\u002Fگزاره-جمله-خبری-که-فقط-یکی-از-دو-حالت-درست-یا-نادرست-را-دارد","1405\u002F06\u002F10",{"id":233,"title":234,"cat":199,"pic":235,"up_date":236,"title_url":237,"url":238,"legacy_url":239,"cat_title":212,"update_jalali":231},11454,"ارزش گزاره: درست یا نادرست بودنِ یک گزاره","https:\u002F\u002Fgama.ir\u002Fuploads\u002Fnews\u002Fthumbnails\u002Fl1CfINrCA7LnA4icdJD3_200.png","2026-09-01 13:00:16","ارزش-گزاره-درست-یا-نادرست-بودن-یک-گزاره","https:\u002F\u002Fgama.ir\u002Fblogs\u002F11454\u002Fارزش-گزاره-درست-یا-نادرست-بودن-یک-گزاره","https:\u002F\u002Fgama.ir\u002Fblog\u002F11454\u002Fارزش-گزاره-درست-یا-نادرست-بودن-یک-گزاره",{"id":241,"title":242,"cat":199,"pic":243,"up_date":244,"title_url":245,"url":246,"legacy_url":247,"cat_title":212,"update_jalali":231},11472,"نماد درست (T یا د) و نماد نادرست (F یا ن): نشانه‌ای برای نمایش ارزش درستِ گزاره و نشانه‌ای برای نمایش ارزش نادرستِ گزاره","https:\u002F\u002Fgama.ir\u002Fuploads\u002Fnews\u002Fthumbnails\u002FJujDWd3FtoYmYh9iOmNW_200.png","2026-09-01 12:52:19","نماد-درست-T-یا-د-و-نماد-نادرست-F-یا-ن-نشانهای-برای-نمایش-ارزش-درست-گزاره-و-نشانهای-برای-نمایش-ارزش-نادرست-گزاره","https:\u002F\u002Fgama.ir\u002Fblogs\u002F11472\u002Fنماد-درست-T-یا-د-و-نماد-نادرست-F-یا-ن-نشانهای-برای-نمایش-ارزش-درست-گزاره-و-نشانهای-برای-نمایش-ارزش-نادرست-گزاره","https:\u002F\u002Fgama.ir\u002Fblog\u002F11472\u002Fنماد-درست-T-یا-د-و-نماد-نادرست-F-یا-ن-نشانهای-برای-نمایش-ارزش-درست-گزاره-و-نشانهای-برای-نمایش-ارزش-نادرست-گزاره",{"id":249,"title":250,"cat":199,"pic":251,"up_date":252,"title_url":253,"url":254,"legacy_url":255,"cat_title":212,"update_jalali":231},11474,"جدول ارزش: جدولی که ارزش گزاره‌ها و ترکیب‌های آن‌ها را در همه حالت‌های ممکن نشان می‌دهد.","https:\u002F\u002Fgama.ir\u002Fuploads\u002Fnews\u002Fthumbnails\u002FbSElQszLLJTvjkR2VKUa_200.png","2026-09-01 12:48:17","جدول-ارزش-جدولی-که-ارزش-گزارهها-و-ترکیبهای-آنها-را-در-همه-حالتهای-ممکن-نشان-میدهد","https:\u002F\u002Fgama.ir\u002Fblogs\u002F11474\u002Fجدول-ارزش-جدولی-که-ارزش-گزارهها-و-ترکیبهای-آنها-را-در-همه-حالتهای-ممکن-نشان-میدهد","https:\u002F\u002Fgama.ir\u002Fblog\u002F11474\u002Fجدول-ارزش-جدولی-که-ارزش-گزارهها-و-ترکیبهای-آنها-را-در-همه-حالتهای-ممکن-نشان-میدهد",{"id":257,"title":258,"cat":199,"pic":259,"up_date":260,"title_url":261,"url":262,"legacy_url":263,"cat_title":212,"update_jalali":231},11477,"نقیض گزاره: گزاره‌ای که ارزش آن برعکسِ ارزش گزارهٔ اصلی است.","https:\u002F\u002Fgama.ir\u002Fuploads\u002Fnews\u002Fthumbnails\u002FeAQJ7MCq9WNrohlBrXin_200.png","2026-09-01 12:42:57","نقیض-گزاره-گزارهای-که-ارزش-آن-برعکس-ارزش-گزاره-اصلی-است","https:\u002F\u002Fgama.ir\u002Fblogs\u002F11477\u002Fنقیض-گزاره-گزارهای-که-ارزش-آن-برعکس-ارزش-گزاره-اصلی-است","https:\u002F\u002Fgama.ir\u002Fblog\u002F11477\u002Fنقیض-گزاره-گزارهای-که-ارزش-آن-برعکس-ارزش-گزاره-اصلی-است",{"id":265,"title":266,"cat":199,"pic":267,"up_date":268,"title_url":269,"url":270,"legacy_url":271,"cat_title":212,"update_jalali":231},11479,"نماد نقیض (∼ یا ¬): علامتی که نقیض یک گزاره را نشان می‌دهد.","https:\u002F\u002Fgama.ir\u002Fuploads\u002Fnews\u002Fthumbnails\u002FsCXYJtUCMVriciBJX9P6_200.png","2026-09-01 12:41:29","نماد-نقیض-یا-علامتی-که-نقیض-یک-گزاره-را-نشان-میدهد","https:\u002F\u002Fgama.ir\u002Fblogs\u002F11479\u002Fنماد-نقیض-یا-علامتی-که-نقیض-یک-گزاره-را-نشان-میدهد","https:\u002F\u002Fgama.ir\u002Fblog\u002F11479\u002Fنماد-نقیض-یا-علامتی-که-نقیض-یک-گزاره-را-نشان-میدهد",{"id":273,"title":274,"cat":199,"pic":275,"up_date":276,"title_url":277,"url":278,"legacy_url":279,"cat_title":212,"update_jalali":231},11483,"هم ارزی منطقی: رابطه‌ای که نشان می‌دهد دو گزاره در همه حالت‌ها هم‌ارز هستند.","https:\u002F\u002Fgama.ir\u002Fuploads\u002Fnews\u002Fthumbnails\u002FYkOgMioT4nrjvCW0bECA_200.png","2026-09-01 12:34:37","هم-ارزی-منطقی-رابطهای-که-نشان-میدهد-دو-گزاره-در-همه-حالتها-همارز-هستند","https:\u002F\u002Fgama.ir\u002Fblogs\u002F11483\u002Fهم-ارزی-منطقی-رابطهای-که-نشان-میدهد-دو-گزاره-در-همه-حالتها-همارز-هستند","https:\u002F\u002Fgama.ir\u002Fblog\u002F11483\u002Fهم-ارزی-منطقی-رابطهای-که-نشان-میدهد-دو-گزاره-در-همه-حالتها-همارز-هستند",{"id":281,"title":282,"cat":199,"pic":283,"up_date":284,"title_url":285,"url":286,"legacy_url":287,"cat_title":212,"update_jalali":231},11485,"گزاره نما: جملهٔ خبریِ دارای متغیر که با جایگذاری مقدار، به گزاره تبدیل می‌شود.","https:\u002F\u002Fgama.ir\u002Fuploads\u002Fnews\u002Fthumbnails\u002FPCMx6d5PWVxaXRKeVryT_200.png","2026-09-01 12:32:33","گزاره-نما-جمله-خبری-دارای-متغیر-که-با-جایگذاری-مقدار-به-گزاره-تبدیل-میشود","https:\u002F\u002Fgama.ir\u002Fblogs\u002F11485\u002Fگزاره-نما-جمله-خبری-دارای-متغیر-که-با-جایگذاری-مقدار-به-گزاره-تبدیل-میشود","https:\u002F\u002Fgama.ir\u002Fblog\u002F11485\u002Fگزاره-نما-جمله-خبری-دارای-متغیر-که-با-جایگذاری-مقدار-به-گزاره-تبدیل-میشود",{"id":289,"title":290,"cat":199,"pic":291,"up_date":292,"title_url":293,"url":294,"legacy_url":295,"cat_title":212,"update_jalali":231},11488,"متغیر: نمادی مانند x که می‌تواند به جای آن مقادیر مختلف قرار گیرد.","https:\u002F\u002Fgama.ir\u002Fuploads\u002Fnews\u002Fthumbnails\u002F8d2ubEMmx4QOI43UL5u1_200.png","2026-09-01 12:30:25","متغیر-نمادی-مانند-x-که-میتواند-به-جای-آن-مقادیر-مختلف-قرار-گیرد","https:\u002F\u002Fgama.ir\u002Fblogs\u002F11488\u002Fمتغیر-نمادی-مانند-x-که-میتواند-به-جای-آن-مقادیر-مختلف-قرار-گیرد","https:\u002F\u002Fgama.ir\u002Fblog\u002F11488\u002Fمتغیر-نمادی-مانند-x-که-میتواند-به-جای-آن-مقادیر-مختلف-قرار-گیرد",{"id":297,"title":298,"cat":199,"pic":299,"up_date":300,"title_url":301,"url":302,"legacy_url":303,"cat_title":212,"update_jalali":231},11490,"دامنهٔ متغیر: مجموعهٔ مقادیری که مجاز است به جای متغیر در گزاره‌نما قرار گیرد.","https:\u002F\u002Fgama.ir\u002Fuploads\u002Fnews\u002Fthumbnails\u002FdHZmxOHdnu6iIkUPGUPJ_200.png","2026-09-01 12:26:11","دامنه-متغیر-مجموعه-مقادیری-که-مجاز-است-به-جای-متغیر-در-گزارهنما-قرار-گیرد","https:\u002F\u002Fgama.ir\u002Fblogs\u002F11490\u002Fدامنه-متغیر-مجموعه-مقادیری-که-مجاز-است-به-جای-متغیر-در-گزارهنما-قرار-گیرد","https:\u002F\u002Fgama.ir\u002Fblog\u002F11490\u002Fدامنه-متغیر-مجموعه-مقادیری-که-مجاز-است-به-جای-متغیر-در-گزارهنما-قرار-گیرد",{"id":305,"title":306,"cat":199,"pic":307,"up_date":308,"title_url":309,"url":310,"legacy_url":311,"cat_title":212,"update_jalali":231},11491,"مجموعهٔ جواب: مجموعهٔ اعضای دامنه که با جایگذاری آن‌ها، گزاره‌نما ارزش درست می‌گیرد.","https:\u002F\u002Fgama.ir\u002Fuploads\u002Fnews\u002Fthumbnails\u002FXMPNwI33OLiO6yJT8Yna_200.png","2026-09-01 12:24:06","مجموعه-جواب-مجموعه-اعضای-دامنه-که-با-جایگذاری-آنها-گزارهنما-ارزش-درست-میگیرد","https:\u002F\u002Fgama.ir\u002Fblogs\u002F11491\u002Fمجموعه-جواب-مجموعه-اعضای-دامنه-که-با-جایگذاری-آنها-گزارهنما-ارزش-درست-میگیرد","https:\u002F\u002Fgama.ir\u002Fblog\u002F11491\u002Fمجموعه-جواب-مجموعه-اعضای-دامنه-که-با-جایگذاری-آنها-گزارهنما-ارزش-درست-میگیرد",{"id":313,"title":314,"cat":199,"pic":315,"up_date":316,"title_url":317,"url":318,"legacy_url":319,"cat_title":212,"update_jalali":231},11492,"رابط منطقی: واژه یا نمادی که گزاره‌ها را به هم پیوند می‌دهد و گزارهٔ مرکب می‌سازد.","https:\u002F\u002Fgama.ir\u002Fuploads\u002Fnews\u002Fthumbnails\u002FR0jBrO7F0Wk8sBCvXTQT_200.png","2026-09-01 12:20:19","رابط-منطقی-واژه-یا-نمادی-که-گزارهها-را-به-هم-پیوند-میدهد-و-گزاره-مرکب-میسازد","https:\u002F\u002Fgama.ir\u002Fblogs\u002F11492\u002Fرابط-منطقی-واژه-یا-نمادی-که-گزارهها-را-به-هم-پیوند-میدهد-و-گزاره-مرکب-میسازد","https:\u002F\u002Fgama.ir\u002Fblog\u002F11492\u002Fرابط-منطقی-واژه-یا-نمادی-که-گزارهها-را-به-هم-پیوند-میدهد-و-گزاره-مرکب-میسازد"]