Российский государственный гуманитарный университет
Опубликован: 13.07.2022 | Доступ: свободный | Студентов: 249 / 8 | Длительность: 11:54:00
Специальности: Программист
Лекция 4:

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

< Лекция 3 || Лекция 4: 12345 || Лекция 5 >

Современные компьютеры являются многоуровневыми. Под уровнем понимается абстракция - гипотетическая виртуальная машина, которая имеет свое устройство, свой набор команд, который она может выполнять, и свой язык, на котором эти команды пишутся. Каждая такая абстракция надстраивается над абстракцией более низкого уровня. Более высокий уровень подразумевает команды более удобные для человека. Программа, написанная на языке уровня N, либо транслируется в программу на языке уровня N - 1, которая затем исполняется машиной, либо интерпретируется некоторой программой уровня N - 1, которая последовательно исполняет команды программ уровня N.

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

В основе аппаратного обеспечения лежат вентили - миниатюрные электронные устройства, которые моделируются в виде цифровых устройств, входы и выходы которых принимают значения 0 и 1 - цифровые сигналы. Значение 0 соответствует низкому напряжению, а значение 1 - высокому. При конструировании электронных устройств используются законы алгебры логики, или булевой алгебры высказываний, поэтому эти устройства называют логическими.

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

Логические функции

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

Понятие высказывания

Высказывание - первичное, неопределяемое понятие, как множество или информация. Под высказыванием понимают четко сформулированное утверждение о каких-либо фактах, о котором можно определенно сказать, истинно оно или ложно. Оно не может быть одновременно истинным и ложным.

Пример 1. Следующие утверждения являются высказываниями:

  1. "После пятницы наступает суббота";
  2. "Входное напряжение низкое";
  3. "2 + 2 = 5".

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

Пример 2. Рассмотрим простые высказывания A и B:

A: "В классе идут занятия"; B: "За окном светит солнце".

Примером сложного высказывания является

A и не B: "В классе идут занятия, а за окном солнце не светит".

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

Операции над высказываниями

Рассмотрим основные операции над высказываниями. Пусть S - множество высказываний. Операцией арности n называется отображение

F: S^n \to S,

где n - целое неотрицательное число. Арностью называется число аргументов. При n = 1 операция называется унарной, при n = 2 - бинарной, при n = 3 - тернарной.

Примером унарной операции является отрицание. Отрицанием высказывания A называется высказывание \neg A, которое истинно в точности тогда, когда A ложно.

Пример 3. Для высказывания A: "Идет дождь", отрицанием является высказывание \neg A: "Не идет дождь".

Отрицанием высказывания B: "Высокое напряжение", является высказывание \neg B: "Низкое напряжение", если напряжение может быть только низким или высоким.

Ниже приведены определения бинарных операций.

Конъюнкцией высказываний A и B называется высказывание A & B, которое истинно ровно тогда, когда истинны оба высказывания A и B.

Дизъюнкцией высказываний A и B называется высказывание A \vee B, которое истинно в точности тогда, когда истинно хотя бы одно из высказываний A и B.

Импликацией высказываний A и B называется высказывание A \to B, которое ложно в точности тогда, когда A истинно, а B ложно.

Эквиваленцией высказываний A и B называется высказывание A \leftrightarrow B, которое истинно в точности тогда, когда высказывания A и B имеют одно и то же истинностное значение.

Строгой, или разделительной дизъюнкцией высказываний A и B называется высказывание A \oplus B, которое истинно в точности тогда, когда ровно одно из высказываний A и B является истинным.

Штрихом Шеффера высказываний A и B называется высказывание A \mid B, которое ложно в точности тогда, когда оба высказывания A и B истинны.

Стрелкой Пирса высказываний A и B называется высказывание A \downarrow B, которое истинно в точности тогда, когда оба высказывания A и B ложны.

Пример 4. Возьмем высказывания A: "Аня пойдет в кино" и B: "Боря пойдет в кино". Имеем:

A \& B: "Аня и Боря оба пойдут в кино";

A \vee B: "Хотя бы один из Ани и Бори пойдет в кино";

A \to B: "Если Аня пойдет в кино, то и Боря пойдет в кино";

A \leftrightarrow B: "Аня и Боря либо оба пойдут в кино, либо оба не пойдут";

A \oplus B: "Кто-то из Ани и Бори пойдет в кино, но не оба";

A \mid B: "Хотя бы один из Ани и Бори не пойдет в кино";

A \downarrow B: "Аня и Боря оба не пойдут в кино".

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

Язык логики высказываний

Формальный язык задается:

  1. алфавитом, содержащим символы языка;
  2. синтаксисом, определяющим, как из символов строятся формулы;
  3. семантикой - интерпретацией элементов языка с помощью приписывания значений символам алфавита.

Алфавит языка логики высказываний состоит из символов:

  1. пропозициональные символы, или переменные: a, b, A, B, \dots;
  2. логические связки: \&, \vee, \neg, \to, \leftrightarrow, \oplus, \mid, \downarrow;
  3. вспомогательные символы: запятая и скобки.

Понятие высказывания, или пропозициональной формулы (формулы логики высказываний) определяется индуктивно:

  • пропозициональные символы являются высказываниями, или атомарными формулами (или атомами);
  • если A и B - высказывания (формулы), то  (\neg A), (A \& B), (A \vee B), (A \to B), (A \leftrightarrow B), (A \oplus B), (A \mid B), (A \downarrow B) - высказывания (формулы).
  • других высказываний, кроме построенных с помощью первых двух правил, не существует.

Конечные последовательности символов языка называют выражениями. Правильно построенные выражения (высказывания) строятся по приведенным выше правилам. Например, выражение  (a \& b) \vee (a \& \neg c) является высказыванием, а выражение \vee a не является.

Рассмотрим семантику языка логики высказываний. На множестве {0, 1} определим логические операции, которые обозначим так же, как и операции на множестве высказываний, через \neg, \&, \vee, \neg, \to, \leftrightarrow, \oplus, \mid и \downarrow. Определение этих операций приведено в рис. 4.1.

 Определение логических операций на множестве {0, 1}

Рис. 4.1. Определение логических операций на множестве {0, 1}

Пусть - множество высказываний.

Истинностным означиванием называется функция V: S \to \{0, 1\}, для которой выполняются свойства:

  1. V(\neg A) = \neg V(A) ;
  2.  V(A \cdot B) = V(A) \cdot V(B), где символ  \cdot обозначает один из символов  \&, \vee, \neg, \to, \leftrightarrow, \oplus, \mid или  \downarrow.
< Лекция 3 || Лекция 4: 12345 || Лекция 5 >