Модерни компютри, базирани на "древния"електронни компютри, като основни принципи на работа се основават на определени постулати. Те се наричат законите на алгебра на логиката. За пръв път такава дисциплина беше описана (разбира се, не толкова подробно, колкото в съвременната форма) от древногръцкия учен Аристотел.
Представлявайки отделна секция от математиката, в която се изследва броят на предложенията, алгебра на логиката има редица ясно формулирани изводи и изводи.
За да разберем по-добре темата, ще анализираме концепции, които ще ни помогнат да научим законите на алгебра на логиката в бъдеще.
Може би основният термин в дисциплината -изявление. Този вид декларация, че не може да бъде едновременно истина и лъжа. Той винаги се характеризира само с една от тези характеристики. По този начин придават условно приетата истина стойност 1 фалш - 0, самата някои латинска буква изявление на разговор: A, B, C. С други думи, формулата А = 1 означава, че предложение А е вярно. С изявления можете да действате по различни начини. Кратък поглед върху действията, които можете да извършвате с тях. Имайте предвид също, че законите на алгебра на логиката е невъзможно да се научат, без да знае правилата.
1. Разграничаване две изявления - резултатът от операцията "или". То може да бъде или невярно, или вярно. Използва се символът "v".
2. Свързване. Резултатът от такова действие, извършено с две изявления, ще бъде ново изказване, вярно само ако и двете първоначални твърдения са верни. При работа "и" се използва символът "^".
3. Последици. Операцията "ако A, след това B". Резултатът е изявление, което е невярно само ако А е вярно и F е невярно. Използва се знакът "->".
4. Еквивалентност. Операция "А, ако и само тогава" Б ", когато". Това твърдение е вярно в случаите, когато и двете променливи имат едни и същи оценки. Използва се символът "<->".
Съществуват и редица операции, близки до имплементацията, но те няма да се разглеждат в тази статия.
Сега нека разгледаме подробно основните закони на алгебра на логиката:
1. Комутативно или преместващо заявява, че промяната на местата на логическите термини в операциите на свързване или разединяване на резултата не се отразява.
2. Асоциативен или асоциативен. Съгласно този закон променливите в съюзи или разединителни операции могат да бъдат групирани заедно.
3. Разпределителни или разпределителни. Същността на закона е, че същите променливи в уравненията могат да бъдат извадени от скобите, без да се променя логиката.
4. Законът на Де Морган (инверсия или отрицание).Отрицанието на свързващата операция е еквивалентно на отрязването на отрицанието на първоначалните променливи. Отрицанието от раздялата, от своя страна, е равно на съчетанието от отрицание на едни и същи променливи.
5. Двойно отрицание. Отричането на определено изказване два пъти дава като резултат първоначалното изявление, три пъти неговото отрицание.
6. Законът за идолопотентността изглежда така за логическо добавяне: x v x v x v x = x; за умножение: x ^ x ^ x ^ = x.
7. Законът за непротиворечие казва: две твърдения, ако те са противоречиви, не могат да бъдат верни едновременно.
8. Закон за изключване на третото. Между двете противоречиви твърдения, едната винаги е вярна, другата е фалшива, третата не е дадена.
9. Законът за усвояването може да бъде написан по този начин за логическо добавяне: x v (x ^ y) = x, за умножение: x ^ (xv y) = x.
10. Закон за залепване.Два съседни съюзи са способни да се слепват заедно, образувайки връзка от по-малък ранг. Освен това, променливата, според която оригиналните съюзи са били залепени, изчезва. Пример за логическо добавяне:
(x ^ y) v (-x ^ y) = у.
Ние разгледахме само най-често използваните закониалгебра на логиката, която всъщност може да бъде много повече, защото често логическите уравнения придобиват дълъг и богато украсен вид, който може да бъде намален чрез прилагане на редица подобни закони.
Като правило, за удобство на броене и идентифициранесе използват специални таблици. Всички съществуващи закони на алгебра на логиката, таблицата, за която има общата структура на правоъгълника на мрежата, са рисувани, разпределяйки всяка променлива в отделна клетка. Колкото по-голямо е уравнението, толкова по-лесно е да се справите с него с помощта на таблици.
