Основы логики. Логические основы компьютера

λόγος — «речь», «рассуждение», «мысль») — наука о формах, методах

и законах интеллектуальной познавательной деятельности, формализуемых с помощью логического языка.
Логика изучает мышление как средство познания объективного мира. Законы логики отражают в сознании человека свойства, связи и отношения объектов окружающего мира.

электротехнике (построение компьютеров основано на законах математической логики).
В основе

логических схем и устройств ПК лежит специальный математический аппарат, использующий законы логики. Математическая логика изучает вопросы применения математических методов для решения логических задач и построения логических схем. Знание логики необходимо при разработке алгоритмов и программ, так как в большинстве языков программирования есть логические операции.

благодаря усилиям английского математика Дж. Буля. Поначалу булева алгебра не

имела никакого практического значения. Однако уже в XX веке ее положения нашли применение в описании функционирования и разработке различных электронных схем. Законы и аппарат алгебры логики стал использоваться при проектировании различных частей компьютеров (память, процессор).

вычисляют и преобразовывают логические высказывания.

Высказывание – это повествовательное предложение,

о котором можно сказать, что оно или истинно или ложно.
Высказывание может принимать только одно из двух логических значений: истина (1) или ложь (0).

отдельное высказывание.

Примеры:
Земля - планета Солнечной системы (истинное)
Рим — столица Франции

(ложное)

получается путем объединения простых высказываний логическими связками — НЕ, И,

ИЛИ.

Пример:
На улице светит солнце или на улице пасмурная погода.

операций. Логические связки И, ИЛИ и НЕ заменяются логическими операциями:

конъюнкцией, дизъюнкцией и инверсией. Это основные логические операции, при помощи которых можно записать любую логическую функцию.

именем переменной или знаком ¬ перед переменной. Инверсия логической переменной

истинна, если сама переменная ложна, и, наоборот, инверсия ложна, если переменная истинна.

Таблица истинности:

«+» или «║». Дизъюнкция двух логических переменных ложна тогда и

только тогда, когда оба высказывания ложны.

Таблица истинности

«˄», или «·». Конъюнкция двух логических переменных истинна тогда и

только тогда, когда оба высказывания истинны.

Таблица истинности

первое является условием (А), а второе (В) – следствием из

этого условия. Результатом импликации является ложь только тогда, когда условие А истинно, а следствие В ложно. Обозначается символами «→» или «=>» и выражается словами «если…, то».

Таблица истинности

и В. Результатом эквиваленции является новое логическое выражение, которое будет

истинным тогда и только тогда, когда оба исходных выражения одновременно истинны или ложны. Обозначается символами «=», «↔», «<=>».

Таблица истинности

– 0 и 1.

Логическое выражение – запись или устное утверждение,

в которое, наряду с постоянными, обязательно входят переменные величины (объекты).
В зависимости от значений этих переменных логическое выражение может принимать одно из двух возможных значений: истина (логическая 1) или ложь (логический 0).

в следующем порядке:

инверсия;
конъюнкция;
дизъюнкция;    
импликация и эквивалентность.

отражают наиболее важные закономерно­сти логического мышления.
В алгебре высказываний законы логики

записываются в виде формул, которые позволяют проводить эквивалентные преобразования логических выражений в соответствие с законами логики.
Знание законов логики позволяет проверять правильность рассуждений и доказательств. Нарушения этих законов приводят к логическим ошибкам и вытекающим из них противоречиям.

древнегреческим философом Аристотелем. Закон тождества утверждает, что мысль, заключенная в

некотором высказывании, остается неизменной на протяжении всего рассуждения, в котором это высказывание фигурирует.
Закон непротиворечия. Высказывание не может быть одновременно истинным и ложным. Если высказывание А — истинно, то его отрицание Ᾱ должно быть ложным. Следовательно, логическое произведение высказывания и его отрицания должно быть ложно: А˄Ᾱ=0.

третьего не дано.
Закон двойного отрицания. Если дважды отрицать неко­торое

высказывание, то в результате мы получим исходное высказывание.
Законы идемпотентности. В алгебре логики нет показателей степеней и коэффициентов. Конъюнкция одинаковых «сомножителей» равносильна одному из них: А˄А=А.
Правило коммутативности. Можно менять местами логические переменные при операциях конъюнкции и дизъюнкции.
A&B=B&A
A˅B=B˅A

них двоичные электрические сигналы по определенному закону.
Логические элементы имеют

один или несколько входов, на которые подаются электрические сигналы, обозначаемые условно 0, если отсутствует электрический сигнал, и 1, если имеется электрический сигнал.
Также логические элементы имеют один выход, с которого снимается преобразованный электрический сигнал.
Было доказано, что все электронные схемы компьютера могут быть реализованы с помощью трёх базовых логических элементов И, ИЛИ, НЕ.

арифметических и логических операций. Для этого в состав процессора входит

так называемое арифметико-логическое устройство (АЛУ). Оно состоит из ряда устройств, построенных на рассмотренных выше логических элементах. Важнейшими из таких устройств являются триггеры, полусумматоры, сумматоры, шифраторы, дешифраторы, счетчики, регистры.

поразрядным сложением. Сумматор является центральным узлом арифметико-логического устройства процессора.
Сумматор выполняет

сложение многозначных двоичных чисел. Он представляет собой последовательное соединение одноразрядных двоичных сумматоров, каждый из которых осуществляет сложение в одном разряде. Если при этом возникает переполнение разряда, то перенос суммируется с содержимым старшего соседнего разряда.

истинности:

кода.      Воздействуя на входы триггера, его переводят в одно из двух

возможных состояний (0 или 1). С поступлением сигналов на входы триггера в зависимости от его состояния либо происходит переключение, либо исходное состояние сохраняется. При отсутствии входных сигналов триггер сохраняет свое состояние сколь угодно долго.

кодов и выполнения над ними некоторых логических преобразований называется регистром.

Упрощенно регистр можно представить как совокупность ячеек, в каждой из которых может быть записано одно из двух значений: 0 или 1, то есть один разряд двоичного числа.
С помощью регистров можно выполнять следующие операции: установку, сдвиг, преобразование. Основными типами регистров являются параллельные и последовательные (сдвигающие).
Совокупность регистров, используемых ЭВМ для запоминания программы работы, исходных и промежуточных результатов называется оперативной памятью (ОП).