Съвременните компютри, базирани на "древните" електронни компютри, тъй като основните принципи на работа са основани на някои постулати.Те се наричат законите на алгебра на логиката.Първата такава дисциплина е описано (със сигурност не толкова подробни, колкото в сегашния си вид) древногръцкия учен Аристотел.
Представяне отделен клон на математиката, в която ние изучават Пропозиционални смятане, алгебра, логика има редица добре подравнени констатации и заключения.
За да разберем по-добре този въпрос, анализира понятия, които ще помогнат в бъдеще, за да научите законите на алгебра на логиката.
Може би основният план в проучване дисциплината - декларация.Този вид декларация, че не може да бъде едновременно истина и лъжа.Той винаги е характеризира само с една от тези характеристики.Това условно приетата истината за да се получи стойност от 1, фалш - 0, и се нарича отчет за някаква латинска буква: A, B, C. С други думи, формулата А = 1 означава, че твърдение А е вярно.С изявления може да дойде по много различни начини.Накратко, помисли за действията, които можете да правите с тях.Отбелязваме също, че законите на алгебра на логиката е невъзможно да се учат, без да знае правилата.
1. дизюнкция на две изявления - резултат от операцията "или".Това може да бъде или невярна или истина.Тя използва символът «В».
2. Конюнкция. резултат на такива деяния, извършени с две твърдения, ще бъде ново изявление е вярно само ако и двете твърдения са верни източник.Използвайте "аз" символ "^".
3. Отражение. Операция "ако A, тогава B".Резултатът е изявление, фалшиво, само ако истината на A и B. Той се използва фалш символ «- & GT;».
4. еквивалентността.Операция «A ако и само ако, когато B".Това твърдение е вярно, когато и двете променливи имат същата оценка.Тя използва символът «& LT; - & GT;».
Има и поредица от операции, подобни на реалните последици, но в тази статия, те няма да бъдат разглеждани.
сега разгледаме по-подробно основните закони на алгебра на логиката:
1. комутативен и комутативен посочва, че промяната в условията на логически операции съюзи или дизюнкции в резултат няма ефект.
2. асоциативен или асоциативна.Според този закон, променливите в операциите на връзка и дизюнкция могат да бъдат групирани.
3. Разпределение или разпределение.Същността на закона е, че същите променливи в уравненията могат да бъдат отчетени, без да се променя логиката.
4. Законът на де Морган (инверсия или отказ).Отричайки операции е еквивалентно на съюза на дизюнкция отрицание на оригиналните променливи.Отказ от дизюнкцията, от своя страна, е равна на съюза на отрицанието на същите променливи.
5. Double Negative.Отричането на декларация води до два пъти по-оригинални изявление три пъти - нейното отрицание.
Закона 6. idempotency както следва за логично добавяне: xvxvxvx = х;за умножение: х ^ х ^ х ^ = х.
7. Законът за недопускане на противоречия гласи: два отчета, ако те са противоречиви, като в същото време не може да бъде вярно.
8. Законът на изключени средата.Сред две противоречиви изявления един - винаги верни, друг - фалшиви, средно положение.
9. Законът на абсорбция могат да бъдат написани по такъв начин да се логично допълнение: XV (х ^ ш) = х, за умножение: х ^ (xvy) = х.
10. Право свързване.Два съседни съюзи са в състояние да се държим заедно, образувайки връзка от нисък ранг.Когато това е променлива, в който първоначалното съвпада залепени изчезва.Пример за логическо допълнение:
(х ^ ш) о (-х ^ ш) = у.
Ние разгледахме само най-общите закони на алгебрата на логиката, която в действителност могат да бъдат много повече, тъй като често е логически уравнения придобиват дълго и богато украсен външен вид, който може да се намали чрез прилагане на редица подобни закони.
Като правило, за удобство на броене и определяне на резултатите с помощта на специални таблици.Всички съществуващи закони на алгебрата на логиката, таблицата, която има общата структура на правоъгълника на решетка, рисувани от разпространение на всяка променлива и в отделна клетка.Колкото по уравнението по-лесно да се справят с нея с помощта на таблицата.
