د منطقي څرګندونې حقیقت جدولونو د جوړولو د الګوریتم

نن ورځ، په دغه پاڼه به په تفصيل سره د منطقي څرګندونې یو حقیقت جدول په جوړولو موضوع بحث وشي. سره د دې ستونزې زياتره زده کوونکي چې په کمپيوټر ساينس د متحد دولت ازموينه ورکړي سره مخ شو. په حقیقت کې، د تش په نامه څرګندکه الجبر پیچلې نه ده که تاسو د حقیقت جدولونو د جوړولو د اړتيا وړ قوانينو، عملیاتو او اصولو پوه. دا هغه پوښتنې دي چې موږ به نن نه دي.

څرګندکه الجبر

منطق الجبر پر بنسټ ساده منطقي څرګندونې، چې د تړلو عملیاتو کې، یوه پیچلې بيان د رامنځته کولو. په یاد ولرئ چې څرګندکه الجبر دوو دويالو عملیاتو کې برخه لري: سربېره او د ضرب (د تړاو او disjunction، په ترتیب سره)؛ یو unary - Inversion. ټول ساده بيان د (د یوه پیچلې منطقي بيان عناصر) وکړي د دوه ارزښتونو یو: "1" یا "0"، "رښتيا" یا "غلط"، "+" یا "-" په ترتیب سره.

د منطق الجبر ده په څو نسبتا ساده حقيقتونو پر بنسټ:

• associativity؛
• ده commutative؛
• د جذب؛
• distributivity؛
• additionality.

که تاسو پوه دغو قوانینو او د دندو ترتيب، د منطقي څرګندونې یو حقیقت جدول په جوړولو به د هر ډول ستونزو لامل نه. ياد چې دغه عملیات باید په کلک تعاقب ترسره شي: منفي، ضرب، سربېره، پایله، equivalence، یوازې بيا پروسه ته Schiffer يا منطقي نه عملیاتو څخه منع شي. له خوا په لاره کې، له تېرو دوو دندو د لومړیتوب نه مقررات، په نظم کې چې دوی دي پروت يې د پلي کولو لپاره دي.

د جدول رسم پورته اصول

د منطقي څرګندونې یو حقیقت جدول په جوړولو ډیر حل کې مرسته کوي منطقي ستونزو او پیچلې ټوکر او مثالونه حل لارې پيدا کړي. د یادونې وړ ده چې د هغوی د تصنيف یو لړ قوانین موجود دي.

د دې لپاره چې د يو منطقي جدول په سمه توګه جوړ کړي، دا ضروري ده چې د قطارونو په شمیر مشخص پیل دی. څنګه کولای شو چی دا کار؟ د متحولو چې د يو لړ پيچلي بيان د شمېر شمېرنې، او د ساده فورمول کاروي: څو د بريښنا N A = 2. او - دا د په جدول ټولوونکی حقیقت د قطارونو د شمېر، N - د متحولونه دي چې د یوه پیچلې منطقي بيان برخه شمېر.

مثال: پیچلې بيان د درې متحولونه (A، B او C)، نو د يو بد داغ باید په دريم درجه جوړ شي لري. ب د حق جدول موږ به اته کرښو لري. د کالم د لقب لپاره یو سم کړئ.

بل، موږ ته زموږ د بيان د اړوي او د کړنې ترسره امر معلوم کړي. د ځان لپاره د ښه نظم د يو پنسل نښه (یو، دوه، او داسې نور).

بل ګام موږ د عملیاتو د شمېر محاسبه کړي. په پایله شمېر - د زموږ په جدول کالمونو شمېر. ډاډه اوسئ چې د حتی د ستنې په توګه د يو شمير متحولونه ستاسو په اصطلاحاتو کې شامل کړئ، تر څو د متحولو ترکیبونه ډک کړئ.

بل، تاسو باید د خپلو جدول د خولۍ ډک کړئ. لاندې تاسو د دې یو مثال وګورئ.

اوس چې د ترکیبونه د تېلو لاړ. د دوو متحولو، دوی په لاندي توګه دي: 00، 01، 10، 11. د درې متحولو: 000، 001، 010، 011، 100، 101، 110، 111.

وروسته د ټولو پورته ذکر توکي کولای شي چې د پاتې حجرو او په پایله جدول ډکولو په محاسبه لاړ.

د مثال په

موږ اوس په پام کې د منطقي بيان د يو جدول په جوړولو د مثال په توګه سمه ده: د یو + ب * الف د Inversion

1. 2. د کرښو شمېر:: + 1 = 5 4 متحولونه شمېرنې.
2. د کړنو د اعدامولو دستور: د لومړي Inversion، دوهم په تړاو، disjunction دریم.
3. د یورتان شمېر: 3 + 2 = 5.
4. يوه مسری تر لاسه کول او د ډکولو جدول.

"په هغه څه ترکیب F = 1" "څومره ترکیب پوره F = 0" یا: د قانون په توګه، د کار غږونو د دې په شان. په ځواب کې د لومړۍ پوښتنې - 1، دوهم - 00، 01، 11.

په احتياط سره د کار چې تاسو ورکړل ولولئ. سمه تاسو کولای شی د ستونزې د حل لپاره، خو په ځواب لیکلو خطا. یو ځل بیا مې چې د کړنو په امر ستاسو پام ورته راګرځوو:

• انکار؛
• ضرب؛
• سربېره.

دنده

یو حقیقت جدول په جوړولو ته يوه ستونزمنه منطقي ستونزه د ځواب په موندلو کې مرسته کولای شي. لپاره د منطقي دندو تاسو کوالی شي چې د دغه مقاله ښکاره کړی د حالت د بيان د چمتو کولو او د حق جدول د پروسې تعقیب کړئ.

1)، 7 2) 6، 3)، 5، 4) 4. د يو شمېر يې په خبرپاڼه کې "Inversion (کوچني A 6 (لږ تر لږه 5 +) A)" دی غلط: د څلورو ارزښتونو په پام سره؟

زموږ لومړی کالم به له 5 6 7 ارزښتونو،،، 4 په دې ترتيب سره د اړتیا ډکې شي. په بل کالم، موږ بايد د پوښتنې په ځواب کې: "؟ او 6 څخه لږ" دریم کالم کې ورته، یوازې اوس د دې پوښتنې په ځواب ډک: "؟ او لږ تر لږه 5"

موږ د عملیاتو په ترتیب معلوم کړي. په یاد ولرئ چې د انکار باندې disjunction لومړیتوب تر لاسه کړی. نو، د بل کالم موږ په ارزښتونو چې د شرط سره مطابقت ډک نه دی (A 6 څخه کم). د څلورم به زموږ د ستونزې اصلي پوښتنې په ځواب کې. لاندې تاسو د جدول په ډکولو يوه بېلګه وګورئ.

یاد ولرئ چې موږ د ځوابونو شمیر لري، یو غلط بيان د ده د يو = 5 ارزښت، دا د دې ځواب دریم بڼه ده.