منطقی اظہارات کی حقیقت میزیں تعمیر کے لئے ایک الگورتھم

آج، اس اخبار میں تفصیل سے منطقی اظہار کا ایک سچ کی میز کی تعمیر کے معاملے پر تبادلہ خیال کیا جائے گا. اس مسئلے سے اکثر طالب علموں کو کمپیوٹر سائنس میں متحدہ ریاست امتحان دینے والے سامنا کرنا پڑا. اصل میں، نام نہاد بولین الجبرا تمہیں سچ میزیں تعمیر کے لئے ضروری قوانین، آپریشن اور حدود کا پتہ ہے تو پیچیدہ نہیں ہے. ان سوالات ہم آج کیا کرنے جا رہے ہیں.

بولین الجبرا

منطق الجبرا سادہ منطقی اظہار، باہم آپریشن کر رہے ہیں، جو ایک پیچیدہ اظہار کرنے پر مبنی ہے. کہ بولین الجبرا دو بائنری کارروائیوں پر مشتمل نوٹ: جمع اور ضرب (مل کر کی اور disjunction بالترتیب)؛ ایک یک رکنی - الٹا. تمام سادہ اظہار (ایک پیچیدہ منطقی ایکسپریشن کے عناصر) دو میں سے کوئی ایک لے: "1" یا "0"، "سچ" یا "جھوٹے"، "+" یا "-" بالترتیب.

منطق کی الجبرا چند نسبتا سادہ اصول پر مبنی ہے:

• associativity؛
• commutative ہے؛
• جذب؛
• distributivity؛
• additionality.

آپ کو پتہ ہے تو ان قوانین اور افعال میں ترتیب، منطقی اظہار کا ایک سچ کی میز کی تعمیر کسی بھی مشکلات پیدا نہیں کرے گا. یاد کرتے ہیں آپریشن سخت تسلسل میں کارکردگی کا مظاہرہ کیا جانا چاہیے کہ: نفی، ضرب، کے علاوہ، نتیجہ، مساوی، صرف اس صورت Schiffer یا منطقی اور نہ ہی کارروائیوں پر پابندی عائد کرنے کے لئے آمدنی. ویسے، گزشتہ دو افعال کے لئے ترجیح کی کوئی قواعد، جس میں وہ واقع ہیں ترتیب میں ان کو لاگو کرنے کے لئے ہے.

ٹیبل ڈرائنگ کے قوانین

منطقی اظہار کا ایک سچ میز تعمیر بہت کو حل کرنے میں مدد کرتا منطقی مسائل اور پیچیدہ بڑا مثالوں کے حل کو تلاش کریں. ان کے تالیف کے کچھ قوانین موجود ہیں کہ یہ سوائے اس کے.

مناسب طریقے سے ایک منطقی ٹیبل دکھانے کے لئے ہے، جو قطاروں کی تعداد کا تعین کرنے کے لئے شروع کرنے کے لئے ضروری ہے. یہ کس طرح کرنا ہے؟ ایک پیچیدہ اظہار قضاء کہ متغیر کی تعداد شمار، اور سادہ فارمولا استعمال کرتے ہیں: اقتدار ن کو ایک = 2. اور - اس سچائی کی طرف سے مرتب ٹیبل میں قطاروں کی تعداد ہے، (ن) - ایک پیچیدہ منطقی ایکسپریشن کا حصہ ہیں کہ متغیر کی تعداد ہے.

مثال: پیچیدہ اظہار تین متغیر (A، B اور C)، اس کے بعد ایک بری نشان تیسری ڈگری میں تعمیر کیا جانا چاہیے مشتمل ہے. بی سچ میز ہم آٹھ لائنوں پڑے گا ہے. کالم کے عنوان کے لئے ایک لائن کا اضافہ کریں.

اگلا، ہم اپنے اظہار کرنے کی باری ہے اور کارکردگی کے اعمال کے حکم کا تعین. خود کے لئے بہتر حکم کی ایک پنسل نشان (ایک، دو، اور تو).

اگلے مرحلے میں ہم کارروائیوں کی تعداد کا حساب. نتیجے نمبر - ہماری ٹیبل میں کالم کی تعداد. متغیرات میں ممکنہ کے مجموعے کو بھرنے کے لئے، آپ کی شرائط میں موجود متغیر کے طور کالموں کی بھی ایک بڑی تعداد شامل کرنا نہ بھولیں.

اگلا، آپ کو ہماری ٹیبل کے ٹوپی کو بھرنے کے لئے کی ضرورت ہے. ذیل میں آپ کو اس کی ایک مثال دیکھتے ہیں.

اب ممکن مجموعے کے بھرنے کے لئے آگے بڑھنے. دو متغیر کے لئے، وہ مندرجہ ذیل ہیں: 00، 01، 10، 11. تین متغیروں: 000، 001، 010، 011، 100، 101، 110، 111.

تمام مندرجہ بالا اشیاء باقی خلیات اور نتیجے میز بھرنے کے حساب کرنے کے لئے کارروائی کر سکتے ہیں کے بعد.

مثال

کے A + B * اے الٹا: اب ہم منطقی اظہار کی ایک میز کی تعمیر کی مثال صادق آتی ہے غور

1. 2. لائنوں کی تعداد: 4 + 1 = 5 متغیر گنو.
2. اعمال کی پھانسی کے آرڈر: پہلے الٹا، دوسرا مل کر، disjunction تیسری.
3. کالم کی تعداد: 3 + 2 = 5.
4. پتہ لگانے کی ہو رہی ہے اور میز بھرنے.

"F = 1 مجموعے کیا میں" "کتنے مجموعے F = 0 مطمئن" یا: ایک اصول کے طور پر، کام کی اس طرح لگتا ہے. 1، دوسرا - - 00، 01، 11 پہلے سوال کے جواب پر.

احتیاط سے کام ہے کہ آپ کو دی جاتی ہے پڑھتے ہیں. آپ کا مسئلہ صحیح طریقے سے حل کر سکتے ہیں، لیکن اس کے جواب لکھنے میں غلطی کرنا. ایک بار پھر میں اعمال کی ترتیب پر آپ کی توجہ اپنی طرف متوجہ:

• انکار؛
• ضرب؛
• علاوہ.

کام

ایک حقیقت میز تعمیر ایک مشکل منطقی مسئلہ کا جواب تلاش کرنے میں مدد کر سکتے ہیں. آپ کر سکتے منطقی کاموں مضمون کے اس حصے میں رکھنے کی شرط کے اظہار کی تیاری اور سچ کی میز کے عمل کی پیروی کریں.

1)، 7 2) 6، 3)، 5، 4) 4. ان میں سے کچھ لوگوں کے لئے بیان "الٹا (چھوٹے ایک 6) + (5 سے بھی کم ایک)" غلط ہے: ایک سے چار اقدار کو دیکھتے ہوئے؟

ہمارا پہلے کالم اقدار 7، 6، 5، 4 اس ترتیب میں کی ضرورت کے ساتھ بھر جائے گی. اگلے کالم میں، ہم سوال کا جواب چاہیے: "؟ اور کم 6" تیسرے کالم سوال کا ایک ہی، صرف اب جواب میں بھرا ہوا: "؟ اور کم 5"

ہم آپریشنز کی ترتیب کا تعین. انکار disjunction پر مقدم لیتا ہے یاد رکھیں کہ. تو، اگلے کالم ہم حالت کے مطابق ہے کہ اقدار میں بھرنے (ایک کم 6) نہیں ہے. چوتھی ہمارا مسئلہ کے بنیادی سوال کا جواب دے گا. آپ مندرجہ ذیل ٹیبل بھرنے کی ایک مثال دیکھتے ہیں.

براہ مہربانی نوٹ کریں کہ ہم جوابات کی تعداد ہے کہ، ایک جھوٹا اظہار A = 5 کی قیمت، اس جواب کی تیسری ورژن ہے ہے.