شما باید برای ساده سازی عبارات از همون فرمول های هم ارزی مهم که عکسشو گذاشتین استفاده کنین. حالا اگه میخواین اثبات همون فرمول های اصلی هم ارزی هم بدونین که اصلا سخت نیس. روش فکر کنین دستتون میاد. مثلا در P or T چون میدونین هر چیزی با or ، T بشه بازم جواب T میشه، پش مقدار T یا همون True عضو غلبه برای عملگر or هستش.

عبارت دوم پرانتزگداری درست رعایت نشده
عبارت اول را مطمئن هستید درست هست چون اگر p=true,q=false باشد سمت چپ عبارت برابر true و سمت راست عبارت برابر false می شود به نظرم در مورد عبارت اول این دو جمله درست می باشند
[tex](p\dagger q )\dagger (q\dagger q)\equiv p\cup q[/tex]
[tex](p\dagger q )\dagger (q\dagger q)\equiv q[/tex]

(۱۱ مهر ۱۳۹۲ ۱۱:۱۷ ب.ظ)rad.bahar نوشته شده توسط:  عبارت دوم پرانتزگداری درست رعایت نشده
عبارت اول را مطمئن هستید درست هست چون اگر p=true,q=false باشد سمت چپ عبارت برابر true و سمت راست عبارت برابر false می شود به نظرم در مورد عبارت اول این دو جمله درست می باشند
[tex](p\dagger q )\dagger (q\dagger q)\equiv p\cup q[/tex]
[tex](p\dagger q )\dagger (q\dagger q)\equiv q[/tex]

داداش بله شما درست میگین
داداش شما مرحله به مرحله یادم میدی که اصلا باید اول چیکار کنم؟

سلام
جواب اولی

و دومی

(۱۲ مهر ۱۳۹۲ ۱۲:۰۱ ق.ظ)black_knight نوشته شده توسط:  سلام
[tex]\overline{\left ( \overline{\left (p \wedge q \right )}\wedge \overline{\left (q \wedge q \right )} \right )}= \left ( \left (p \wedge q \right ) \vee \left (q \wedge q \right ) \right ) = \left ( \left (p \vee q \right ) \wedge q \right ) = q[/tex]

[tex]\left ( \bar{p}\wedge \left ( p \vee q \right ) \right )\rightarrow q = \overline{\left ( \bar{p}\wedge \left ( p \vee q \right ) \right )}\vee q = \left ( p\vee \left ( \bar{p} \wedge \bar{q} \right ) \right )\vee q = \left ( p\vee \bar{q} \vee q \right ) = T[/tex]

داداش دمت گرم اگه امکان داره یادم بده
اصلا چطوری حلش کردی؟

تو معادله اول (تعریف ننده) که میشه (نات اند) و ساده سازی ادامش
تو دومی هم (عبارت شرطی) معادله با (نقیض مقدم 'یا' تالی)

(۱۲ مهر ۱۳۹۲ ۱۲:۳۸ ق.ظ)black_knight نوشته شده توسط:  تو معادله اول (تعریف ننده) که میشه (نات اند) و ساده سازی ادامش
تو دومی هم (عبارت شرطی) معادله با (نقیض مقدم 'یا' تالی)

بله داداش فقط چطوری ساده سازی میکنی
مشکلم همین در ساده سازیه

---

داداش میشه بگی این بخش هایی که با فلش مشخص کردم رو چطوری بدست اوردی
مرحله به مرحلشو میگی

از قانون دمورگان استفاده شده.

(۱۲ مهر ۱۳۹۲ ۰۲:۱۸ ق.ظ)black_knight نوشته شده توسط:  از قانون دمورگان استفاده شده.

میشه بگین چرا دوتا علامت نقیض رو بالای (p ^ q) گذاشتین و از کجا فهمیدین باید از قانون دمورگان استفاده کنیم این قانون که به این شکل در میاد


اگه میتونید بگین چطوری از اول حلش کنیم...

(۱۲ مهر ۱۳۹۲ ۰۹:۳۸ ب.ظ)vahidir نوشته شده توسط:  

(12 مهر ۱۳۹۲ ۰۲:۱۸ ق.ظ)black_knight نوشته شده توسط:  از قانون دمورگان استفاده شده.

میشه بگین چرا دوتا علامت نقیض رو بالای (p ^ q) گذاشتین و از کجا فهمیدین باید از قانون دمورگان استفاده کنیم این قانون که به این شکل در میاد


اگه میتونید بگین چطوری از اول حلش کنیم...

آخه دوتا نند تودرتو واسه همین
اول از داخلی ترین پرانتزا شروع کنید تعریف نندو اعمال کنید و به همین ترتیب تعریف رو روی بیرون ترین پرانتز نیز اعمال کنید.
معمولا این قانون برای ساده سازی عبارات منطقی استفاده میشه

ممنون داداش
ولی انگار من نمیتونم یاد بگیرم
کاش یکی از دوستان بیاد از ب بسم الله یاد بده
بازم تشکر میکنم ازت داداش