Аппарат логики как логическая основа ЭВМ.Входные и выходные сигналы электромагнитных реле, подобно высказываниям в булевой алгебре, также принимают только два значения. Когда контакт реле разомкнут, выходной сигнал равен нулю, а если контакт замкнут, выходной сигнал равен единице. Именно это сходство между высказываниями в булевой алгебре и поведением электромагнитных реле заметил физик Пауль Эренфест. В 1936 г. основатель современной теории информации Клод Шеннон объединил двоичную систему счисления, математическую логику и электрические цепи. Основное понятие булевой алгебры — выказывание. Под простым высказыванием понимается повествовательное предложение, о котором можно сказать, истинно оно или ложно (третьего не дано). Высказывания обозначаются латинскими буквами (A, B, C …) и могут принимать одно из двух значений: ЛОЖЬ (обозначим 0) или ИСТИНА (обозначим 1). Сложное высказывание можно построить из простых с помощью логических операций и логических выражений, представляющих собой комбинации логических операций. Приоритет логических операций: инверсия, конъюнкция, дизъюнкция, импликация, эквивалентность. Операции одного приоритета выполняются слева направо. Для изменения порядка действий используются скобки. Примеры: 1. Я не знаю китайский язык. 2. На автостоянке стоят «Мерседес» и «Жигули». 3. Петя сидит на западной или восточной трибуне стадиона. 4. Завтра дождь будет или не будет (третьего не дано). 5. Если клятва дана, то она должна выполняться. 6. Голова думает тогда и только тогда, когда язык отдыхает.
|
