کسی نیست جواب بده
مدیر هوش ؟؟

؟؟؟؟؟؟؟؟؟؟؟؟؟؟؟؟؟؟؟؟؟؟؟؟؟؟؟؟؟؟؟؟؟؟؟؟؟؟؟؟؟؟

سلام قرمول اصلی ۶ تا مدل توش هست
اگه فرمولو بسط بدید در مرحله اول ۳ تا مدل دیگه اضافه میشه
مرحله بعدی بسط باعث میشه ۴ تا مدل دیگه اضافه شه
در مرحله سوم بسط یک مدل جدید اضافه میشه و قسمت بعدی تکراریه
با بسط قسمت اول ۲ مدل دیگه به وجود میان
کلا میشه گفت ۱۶ تا
ببخشید نوشننش یکم طولانی و خسته کنندس

(۱۰ مهر ۱۳۹۲ ۰۹:۵۹ ب.ظ)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 اصلا تویه جمله نیست !