سوال خودمو با یک تست شروع می کنم
فرض کنید در یک منطق ۴ سمبل A,B,C,D را داریم. برای جمله ی
[tex](A\cap B)\cup (B\cap C)[/tex]
چه تعداد مدل وجود دارد؟
۱) ۴ ۲)۱۶ ۳)۸ ۴) ۱
اول از همه می دونیم تعداد مدل های یک مجموعه ۲ به توان تعداد سمبل های اون مجموعه است که در اینجا می شه ۲ به توان ۴ یعنی ۱۶
حالا از کجا بدون جدول درستی بدونیم کدوم یک از این مدل ها همیشه درست خواهند بود (مخصوصا مواردیکه تعداد سمبل ها زیادن)
سوال دیگه در عبارت فوق سمبل D موجود نیست ایا این هم در شمارش مدل می اوریم یعنی در کل ما این مجموعه را ۴ می گیریم که به ازایش می شود ۱۶ و یا ۳ سمبلی می گیریم که مجموع مدل هایش می شود ۸؟
جواب خود سوال : گزینه ۱ با این ۴ سمبل ۱۶ ترکیب مختلف از مقادیر سمبل ها وجود خواهد داشت که تنها در ۴ ترکیب از انها جمله ی بالا درست خواهد بود.
کسی نیست جواب بده
مدیر هوش ؟؟
؟؟؟؟؟؟؟؟؟؟؟؟؟؟؟؟؟؟؟؟؟؟؟؟؟؟؟؟؟؟؟؟؟؟؟؟؟؟؟؟؟؟
(۱۰ مهر ۱۳۹۲ ۰۴:۴۵ ب.ظ)f2000 نوشته شده توسط:خوب اینو خودم می دونم سوالم اینه اگه تعداد سمبل ها زیاد شد باید چه کاری انجام داد؟ مثلا اینجا با اینکه تعداد سمبل ها خیلی زیاد نیستن پس باید ۱۶ مدل را جدول درستی کشید راه دیگه ای نداره ؟ خوب همه وقت برای همین کشیدن جدول می ره که(07 مهر ۱۳۹۲ ۰۶:۱۱ ب.ظ)آسمان ابری نوشته شده توسط: سوال خودمو با یک تست شروع می کنم
فرض کنید در یک منطق ۴ سمبل A,B,C,D را داریم. برای جمله ی
[tex](A\cap B)\cup (B\cap C)[/tex]
چه تعداد مدل وجود دارد؟
۱) ۴ ۲)۱۶ ۳)۸ ۴) ۱
اول از همه می دونیم تعداد مدل های یک مجموعه ۲ به توان تعداد سمبل های اون مجموعه است که در اینجا می شه ۲ به توان ۴ یعنی ۱۶
حالا از کجا بدون جدول درستی بدونیم کدوم یک از این مدل ها همیشه درست خواهند بود (مخصوصا مواردیکه تعداد سمبل ها زیادن)
سوال دیگه در عبارت فوق سمبل D موجود نیست ایا این هم در شمارش مدل می اوریم یعنی در کل ما این مجموعه را ۴ می گیریم که به ازایش می شود ۱۶ و یا ۳ سمبلی می گیریم که مجموع مدل هایش می شود ۸؟
جواب خود سوال : گزینه ۱ با این ۴ سمبل ۱۶ ترکیب مختلف از مقادیر سمبل ها وجود خواهد داشت که تنها در ۴ ترکیب از انها جمله ی بالا درست خواهد بود.
جدول درستیش رو بکشید هر جا true
شده ببینین چند تا میشه
(۱۰ مهر ۱۳۹۲ ۰۴:۴۹ ب.ظ)آسمان ابری نوشته شده توسط:(10 مهر ۱۳۹۲ ۰۴:۴۵ ب.ظ)f2000 نوشته شده توسط:خوب اینو خودم می دونم سوالم اینه اگه تعداد سمبل ها زیاد شد باید چه کاری انجام داد؟ مثلا اینجا با اینکه تعداد سمبل ها خیلی زیاد نیستن پس باید ۱۶ مدل را جدول درستی کشید راه دیگه ای نداره ؟ خوب همه وقت برای همین کشیدن جدول می ره که(07 مهر ۱۳۹۲ ۰۶:۱۱ ب.ظ)آسمان ابری نوشته شده توسط: سوال خودمو با یک تست شروع می کنم
فرض کنید در یک منطق ۴ سمبل A,B,C,D را داریم. برای جمله ی
[tex](A\cap B)\cup (B\cap C)[/tex]
چه تعداد مدل وجود دارد؟
۱) ۴ ۲)۱۶ ۳)۸ ۴) ۱
اول از همه می دونیم تعداد مدل های یک مجموعه ۲ به توان تعداد سمبل های اون مجموعه است که در اینجا می شه ۲ به توان ۴ یعنی ۱۶
حالا از کجا بدون جدول درستی بدونیم کدوم یک از این مدل ها همیشه درست خواهند بود (مخصوصا مواردیکه تعداد سمبل ها زیادن)
سوال دیگه در عبارت فوق سمبل D موجود نیست ایا این هم در شمارش مدل می اوریم یعنی در کل ما این مجموعه را ۴ می گیریم که به ازایش می شود ۱۶ و یا ۳ سمبلی می گیریم که مجموع مدل هایش می شود ۸؟
جواب خود سوال : گزینه ۱ با این ۴ سمبل ۱۶ ترکیب مختلف از مقادیر سمبل ها وجود خواهد داشت که تنها در ۴ ترکیب از انها جمله ی بالا درست خواهد بود.
جدول درستیش رو بکشید هر جا true
شده ببینین چند تا میشه
مطمئن نیستم اا شاید ساده کردن فرمول جواب بده
برای من شده ۶ ترکیب از ۱۶ ترکیب که در فرمول داده شده صدق میکنه اما سوال گفته ۴ تا !! چرا؟؟
سلام قرمول اصلی ۶ تا مدل توش هست
اگه فرمولو بسط بدید در مرحله اول ۳ تا مدل دیگه اضافه میشه
مرحله بعدی بسط باعث میشه ۴ تا مدل دیگه اضافه شه
در مرحله سوم بسط یک مدل جدید اضافه میشه و قسمت بعدی تکراریه
با بسط قسمت اول ۲ مدل دیگه به وجود میان
کلا میشه گفت ۱۶ تا
ببخشید نوشننش یکم طولانی و خسته کنندس
(۱۰ مهر ۱۳۹۲ ۰۹:۵۹ ب.ظ)black_knight نوشته شده توسط: سلام قرمول اصلی ۶ تا مدل توش هست
اگه فرمولو بسط بدید در مرحله اول ۳ تا مدل دیگه اضافه میشه
مرحله بعدی بسط باعث میشه ۴ تا مدل دیگه اضافه شه
در مرحله سوم بسط یک مدل جدید اضافه میشه و قسمت بعدی تکراریه
با بسط قسمت اول ۲ مدل دیگه به وجود میان
کلا میشه گفت ۱۶ تا
ببخشید نوشننش یکم طولانی و خسته کنندس
معذرت می خوام متوجه نشدم شما چی گفتین ولی تعداد ۱۶ مدل رو می دونم سوالم اینه ایا راهی هست بدون اینکه جدول درستی این ۱۶ مدل را بکشیم بفهمیم چند تا از این مدل ها درست و همیشه true هستنامیدوارم متوجه شده باشین سوال من چیه
من چند بار صحبت بالای شما را خوندم چیزی نفهمیدم
ببخشید من فکر کردم تعداد مدل منظورتونه
واسه تعداد تاتولوژی ها فکر کنم چون مدل ها از اجزای مختلف درست شده نمیشه تعداد مدل های درست رو از قبل مشخص کرد مگر جز رسم جدول درستی
(۰۷ مهر ۱۳۹۲ ۰۶:۱۱ ب.ظ)آسمان ابری نوشته شده توسط: سوال خودمو با یک تست شروع می کنم
فرض کنید در یک منطق ۴ سمبل A,B,C,D را داریم. برای جمله ی
[tex](A\cap B)\cup (B\cap C)[/tex]
چه تعداد مدل وجود دارد؟
۱) ۴ ۲)۱۶ ۳)۸ ۴) ۱
حالا از کجا بدون جدول درستی بدونیم کدوم یک از این مدل ها همیشه درست خواهند بود (مخصوصا مواردیکه تعداد سمبل ها زیادن)
به نظره من بهترین کار همون جدول درستی هست! ولی یک راه دیگه هم هست استنتاج کردن!
توضیح میدم اگه متوجه نشدید بعدا عکس میگیرم براتون میذارم
خوب ما یک جمله داریم که با علامت اجتماع جدا شده پس برای درست بودن جمله باید یکی از طرفین این اجتماع True باشه! پس مسئله به دو قسمت تقسیم میشه !
قسمت اول A اشتراک B را True در نظر میگریم >> که برای اشتراک باید هم A و هم B درست (True) باشند
>>>>>>> و باز در قسمت اول جمله دوم هم میتونه False باشه هم True در نتیجه برای اون هم B و C مشخص میشه (که دیگه توضیح نمیدم)
قسمت دوم B اشتراک C را True درنظر میگیرم >> به روش بالا ادامه میدیم
تا به جواب های زیر میرسیم
برای قسمت اول >> یک جواب A=T , B=T , C=T
>>>>>>>>>>>جواب دیگر A=T, B=T, C=F
برای قسمت دوم >> یک جواب A=T, B=T , C=T
>>>>>>>>>>>جواب دیگر A=F , B=T , C=T
بین جواب ها اولی هاشون مشترک هست پس در ۳ حالت جمله True میشه
این روش بسته به تسلط خوده آدمه و کمی شلوغ میشه و ممکنه آدم قاطی کنه برای همین من میگم همون جدول درستی راحتتره
راستی من دقت نکردم اینجا ۳ تا سمبل داریم که!! چرا سوال اینجوریه؟؟ این سوال ایراد داره که!!! D اصلا تویه جمله نیست !