قوانین بولی

کامپیوتر های مدرن بر اساس کامپیوتر های الکترونیکی "باستانی"، به تکیه بر اصول موضوعه خاصی را به عنوان اصول اساسی عملیات. آنها قوانین جبر منطق نامیده می شود. اولین رشته شرح داده شده است (که قطعا به عنوان دقیق نیست در شکل فعلی آن) توسط دانشمند یونان باستان ارسطو.

به نمایندگی از یک شاخه جداگانه از ریاضیات است که به بررسی حساب گزارهای جبر منطق است که تعدادی از یافته های خوبی تراز وسط قرار دارد و نتیجه گیری.

به منظور درک بهتر موضوع، مفاهیمی است که در آینده کمک خواهد کرد که قوانین جبر منطق تجزیه و تحلیل.

شاید اصطلاح اصلی در رشته مطالعه - بیانیه. این نوع از بیانیه ای که نمی تواند هم درست و هم نادرست است. او همیشه در تنها یکی از این ویژگی های ذاتی. بنابراین انتقال مشروط ارزش صدق و کذب 1 - 0، بیانیه ای پاسخ خود را به برخی از حرف لاتین: A، B، C به عبارت دیگر، فرمول A = 1 بدان معنی است که قضیه درست است. با اظهارات می تواند در بسیاری از راه های مختلف آمده است. نگاهی کوتاه به اقداماتی که شما می توانید با آنها انجام دهد. همچنین توجه داشته باشید که قوانین جبر منطق غیر ممکن است بدون دانستن قواعد یاد بگیرند.

1. گسست از دو بیانیه - نتیجه عملیات "یا". می توان آن را چه درست چه غلط. این با استفاده از نماد «V».

2. پیوند و اتصال. نتیجه چنین اعمالی که در دو جمله، خواهد بود بیانیه جدید تنها در صورتی درست هر دو اظهارات اصلی درست است. استفاده از "و" عمل، نماد "*".

3. مفهوم. عملیات "اگر A، آنگاه B". "->" نتیجه بیانیه ای، نادرست فقط اگر A حق و باطل B. نماد قابل اجرا است.

4. هم ارزی است. عملیات «A اگر و تنها اگر V هنگامی که." این جمله درست است که هر دو متغیر دارند ارزیابی است. استفاده از نماد "<->".

نیز وجود دارد یک سری عملیات، شبیه به مفهوم، اما در این مقاله، آنها در نظر گرفته شود.

در حال حاضر ما در جزئیات در نظر گرفتن قوانین اساسی جبر منطق:

1. کشورهای مبادلهای و مبادلهای که یک تغییر در شرایط عملیات منطقی از رابطه و یا انفصال در نتیجه دیگر اثر ندارد.

2. انجمنی و یا انجمنی است. بر اساس این قانون، متغیرهای در عملیات همراه و ترکیب فصلی می توان گروه بندی.

3. توزیع یا توزیع. جوهر از قانون این است که متغیرهای مشابه در معادلات را می توان از براکت گرفته، از منطق را تغییر دهید.

4. قانون دومورگان (وارونگی یا نفی). این عملیات نفی معادل ترکیب فصلی از متغیرهای ورودی رابطه نفی است. نفی ترکیب فصلی، به نوبه خود، به پیوستگی نفی همین متغیرها برابر است.

5. دو منفی. انکار خود - نفی بیانیه دو بار در بیانیه اصلی، سه بار می شود.

6. تکرارشونده قانون به شرح زیر علاوه بر منطقی: xvxvxvx = X؛ برای ضرب: X ^ X به توان x ^ = x است.

7. قانون عدم تناقض می گوید: دو عبارت، اگر آنها متناقض است، در همان زمان درست باشد نمی تواند.

8. قانون وسط حذف شدند. در میان این دو اظهارات متناقض یکی - است که همیشه درست و دیگری - غلط هیچ ثالث وجود دارد.

9. قانون جذب را می توان در چنین راهی برای علاوه بر منطقی نوشته شده: پانزدهم (X ^ Y) = X، برای ضرب: X ^ (xvy) = x است.

10. پیوند قانون است. دو مقارنه مجاور هستند قادر به چوب هم، تشکیل یک رابطه از رتبه پایین تر است. هنگامی که این متغیر که در آن حروف ربط اصلی چسب از بین می رود است. به عنوان مثال علاوه بر منطقی:

(X ^ Y) V (-x ^ Y) = y است.

ما فقط قوانین رایج ترین جبر منطق، که در واقع ممکن است بسیاری دیگر در نظر گرفته اند، اغلب به عنوان معادلات منطقی تبدیل ظاهر طولانی و پر اب و تاب، که می تواند با استفاده از تعدادی از قوانین مشابه را کاهش دهد.

به عنوان یک قاعده، برای راحتی شمارش و شناسایی نتایج با استفاده از جداول خاص. تمام قوانین موجود از جبر منطق، جدول که دارای ساختار کلی مستطیل شبکه نقاشی های توزیع هر متغیر در یک سلول جداگانه. هر چه معادله بیشتر، آسان تر از آن است که برای مقابله با آن، با استفاده از جدول.