دنده، د قوانينو او مثالونه: څنګه منطقي څرګندونې ساده

نن مونږ به په ګډه د زده کړې لپاره منطقي څرګندونې ساده، موږ له اساسي قانون خبردار تر لاسه او د منطق دندو حقیقت میز معاینه.

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

عملیاتو

ته څنګه د منطق څرګندونې ساده زده، چې تاسو ته اړتيا لري چې پوه شي:

• څه د شکلونو د څرګندکه الجبر کوي؛
• کمول او بدلولو قانون څرګندونې؛
• د عملیاتو په امر.

اوس موږ په تفصیل سره د دغو موضوعاتو وګوري. راځئ چې سره د عملیاتو پیل کړي. هغوی ښایسته اسانه یاد.

1. لومړۍ خبره موږ د منطقي ضرب ولرئ، په ادب دا د یو تړاو د عملياتو په نامه. که حالت کې د بيان په بڼه لیکل شوي، چې د عملياتو په اشاره له خوا د يو inverted کنکو، ضرب ننوتنه یا ساین اېن، يا "&".
2. د بل د ټولو په وار وار کارول دندو - منطقي سربېره یا disjunction. د هغې نښه کنکو یا جمع نښه.
3. یوه ډیره مهمه ځانګړنه د نفي او يا Inversion ده. په یاد ولرئ چې په روسي ژبه تاسو انزوا مختاړی څنګه. په انځوریزه، د Inversion ده د بيان د مخکې مختاړی یا د پورته دا افقی کرښی له خوا ښودل شوې.
4. د منطقي پایله (يا ضمني) اشاره د تحقیق په ارزښت څخه د يو غشی له خوا. که موږ د روسي ژبې د نقطې نظر څخه د عملياتو په پام، دا سره متناسب ته د جملې د جوړښت په ډول: "که ... نو ...".
5. بل د equivalence، چې د ده له خوا د دوه لاره غشی denoted ده. په روسي، د عملياتو په لاندې ډول دی: "که".
6. Sheffer سکتې د عمودي پټه د دوو څرګندونې بېلوي.
7. ورته Sheffer سکتې دملنګ غشی،، د سهم د بيان د عمودي غشی اشاره ټيټ لوري.

ډاډ ولرئ چې دغه عمليات بايد په کلک تعاقب ترسره شي: منفي، ضرب، سربېره، په پایله کې، د equivalence. د عملیاتو په "Sheffer سکتې" او "د منطقي نه" د لومړیتوب حاکميت نه شته. له همدې امله، نو بايد چې په نظم کې چې د دوی په یوه پیچلې بيان ولاړ ترسره شي.

حقیقت جدول

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

د د جدول د تړاو په لاندې ډول ده:

لپاره جدول disjunction عمليات:

د نفي:

پایله:

equivalence:

Barcode Schiffer:

دملنګ arrow:

د قوانینو ساده کول

د څنګه په کمپیوټر ساینس منطق څرګندونې ساده پوښتنه، به موږ ته د ځوابونو د منطق ساده او روښانه قوانین د موندلو کې مرسته وکړي.

راځئ چې سره د ټکر ساده قانون پيل کړي. که موږ د مخالف مفاهیمو (A او NEA) ضرب، نو موږ دروغ ترلاسه کړي. د د متضادو مفاهیمو سربېره په صورت کې، مونږ د حق تر لاسه کړي، د قانون "د بې برخې منځنۍ قانون." نومیږی زیاتره څرګندکه الجبر سره یوه دوه منفي (NEA نه) څرګندونې شته دي، نو موږ د يو ځواب الف ترلاسه شته هم د de Morgan د قانون په دوه دي:

• که موږ د منطقي سربېره، دا د نفي لرو، موږ د دوو څرګندونې د ضرب سره یو Inversion (نه د (A + B) = * Nea Neuve) ترالسه شي؛
• ورته اعمالو، او د دوهم قانون، موږ د ضرب انکار وخوړل، موږ سره د Inversion دوه ارزښتونو اضافه کړي.

ډير ځله تکرار، د همدې ارزښت (الف یا ب) جوړ او یا ضرب په ګډه. په دې صورت کې د تکرار د قانون (= a * يو + B يا يو = B). د قوانینو او د قراردادونو موجود دي:

• يو + (A * ب) = a؛
• د * (A + B) = a؛
• د * (HEA د B +) = a * ب

دوه bonding قانون موجود دي:

• (A * ب) + (A * ب) = a؛
• (A + B) * (A + B) = الف

منطقي څرګندونې ساده اسان که تاسو د څرګندکه الجبر د قوانينو پوهيږي. هر څه د قانون په مادو ښکاره کړی لست کولای شي د ازمایښتونوله ازمویل شي. د دې هدف لپاره چې موږ د قوسونو تر څو د ریاضیاتو د قوانینو له مخې دابرخه.

بيلګي 1

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

په لومړي مثال په توګه، موږ باید د بیان د ساده: (P * پست) + (C * دا). لومړی، موږ ته دا حقیقت چې په دواړو د لومړي او دوهم قوسونو سره د وړاندیزونه ورته متحولونه لري ترڅو د قوسونو دا زمونږ پاملرنه کړې وي. (C) * (E + دا): وروسته موږ ترلاسه له خوا د بيان د الس وهنو ترسره. مخکې موږ د برخې منځنۍ قانون ته وکتل، دا سره د بيان د درناوي غوښتنه وکړي. وروسته دا، موږ کولای شو چې د پست + = 1 نو له همدې امله زموږ د بيان په بڼه اخلي: ج 1 *. په پایله بيان، موږ اوس هم د عالم چې د (C) 1 = c * ساده شي.

بيلګي 2

زموږ راتلونکې دنده به وي: (C + دا) نه + (C + E) + (C) * پست څه دی چینایی څرګندکه اوس هم نه دی؟

مهرباني وکړئ په دې مثال په توګه په ياد د پېچلو څرګندونې د منفي ده، دا باید د بېغمه، د De Morgan د قوانینو له خوا بيامونده. درخواست يې، موږ لاندې بيان د ترلاسه: * پست + Nes Nes * دا + ت * E. یو ځل بیا موږ په دوو دورو لپاره د متحول د تکرار شاهدان یو، چې د قوسونو څخه دا: چې دپنجشنبې په * (پست هغې +) + (C) * E. دپنجشنبې په * 1 + ت * E.: يو ځل بيا، د لیرې قانون درخواست موږ په ياد چې عبارت "Nes * 1" مساوی Nes: Nes + ت * E. موږ دا هم وړاندې کوي چې د توزيعي قانون کاروي: (دپنجشنبې + ج) * (دپنجشنبې + E). دپنجشنبې + E.: موږ د برخې منځنۍ د قانون تطبيق

بيلګي 3

تاسو وليدل چې د ده په حقیقت کې ډیره آسانه د څرګندکه ساده کوي. مثال №3 سره به لږ تفصیل سره انځور شي، هڅه کوي چې د خپل ځان نه دا.

(D + E) * (D + F): د بيان د ساده کوي.

1. D * D + D * F + پست * D + پست * F؛
2. D + D * F + پست * D + پست * F؛
3. D * (1 + F) + پست * D + پست * F؛
4. D + پست * D + پست * F؛
5. D * (1 + E) + پست * F؛
6. D + پست * اف

لکه څنګه چې تاسو کولای شي، که چيري تاسو د پېچلو منطقي څرګندونې ساده قانون پوه، نو دا کار به هيڅکله د ستونزو سبب تاسو.