УП_Информатика_Базовый курс_Часть 1 Воробьева

занных выше операций таблицы истинности имеют следующий вид.

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

вивалентность.

Операция импликации (логическое следование) образуется соединением двух переменных с помощью связки «если…то» и обозначается знаком ( ). Импликация принимает значение 0 тогда и только тогда, когда первая переменная имеет значение 1, а вторая – 0. Это означает, что составное высказывание ложно только тогда, когда из истинной предпосылки (первое высказывание) вытекает ложный вывод (второе высказывание). Например, высказывание «Если число делится на 10, то оно делится на 3» принимает значение ложь, так как из истинной предпосылки «число делится на 10» делается ложный вывод «оно делится на

3».

Операция эквивалентности (логическое равенство) об-

разуется соединением двух переменных с помощью связки «…тогда и только тогда, когда…» и обозначается знаком (~). Результат операции эквивалентности равен 1 тогда и только тогда, когда обе переменные одновременно имеют значение либо 0 либо 1. Это означает, что составное высказывание истинно, когда входящие в него высказывания одновременно либо истинны либо ложны. Например, высказывание «Ком-

пьютер может производить вычисления тогда и только тогда, когда он включен» принимает значение истины, так как оба высказывания «Компьютер может производить вычисления» и «когда он включен» являются истинными.

61

Таблицы истинности для операций импликации и эквивалентности имеют следующий вид.

Для преобразования логических формул с целью их упрощения используются законы алгебры логики: законы одно-

парных элементов, законы отрицания и комбинационные законы.

Законы однопарных элементов: а) универсального множества: x+1=1; x 1=x; б) нулевого множества: x+0=x; x 0=0.

Законы отрицания: а) двойного отрицания: x =x; б) дополнительности: x+ x =1; x x =0; в) двойственности (правило

е) склеивания: x1x2 x1 x2 x1 ; (x1 x2 )(x1 x2 ) x1 .

Логической функцией (булевой, двоичной) называется логическая (двоичная) переменная y, значение которой зависит от значений двоичных переменных (x1, x2, …, xn), являющихся аргументами: y=y(x1, x2, …, xn). Любое составное высказывание можно рассматривать как логическую функцию

62

y(x1, x2, …, xn), аргументами которой являются простые высказывания (логические переменные x1, x2, …, xn). Задание логической функции означает, что каждому из возможных сочетаний аргументов соответствует определенное значение функции y. Если число аргументов равно n, то количество возможных сочетаний определяется как 2n. Для каждой логической функции можно построить таблицу истинности, которая показывает, какие значения принимает логическая функция при всех возможных наборах ее аргументов.

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

Пример 1. Используя законы алгебры логики, упростить логические формулы.

а) x y(x y) x y(x y) xx y y 0 y y 0 y 0 . При

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

б) xy x y x xy x y x x(y y) x x x 1.

Применяется правило де Моргана; общий множитель выносится за скобки; используется закон дополнительности.

в) xy xyz xzp x(y(1 z) zp) x(y zp) . Общие

множители выносятся за скобки; применяется закон универсального множества.

Пример 2. Преобразовать логическую функцию

F A& B B C . В этом примере для обозначения дизъюнкции и конъюнкции используются знаки и &.

63

Решение

F A&B B C A B B&C A B&(1 C) A B&1 A B

.

Пример 3. При каких значениях переменных A и B логическая функция F A& B (A& B) принимает

значение, равное 0.

Решение

Составим таблицу истинности для заданной логической функции.

Из таблицы видно, что логическая функция F принимает значение 0 только при A=1 и B=1.

Логические основы ЭВМ

Любое вычислительное устройство компьютера (например, двоичный сумматор) представляет

собой электронную логическую схему, состоящую из логических элементов.

Логический элемент (простой функциональный узел) –

это простая электронная схема, которая реализует элементарную логическую функцию. К базовым логическим элементам относятся электронные схемы И, ИЛИ, НЕ, И– НЕ, ИЛИ–НЕ, а также триггер. На входы логического элемента поступают сигналы – значения аргументов, на выходе появляется сигнал – значение функции. Входные и выходные сигналы логических элементов могут иметь одно из двух логических состояний: 1 (истина) или 0 (ложь). Работу логического элемента (преобразование сигналов) описывают с помощью таблицы истинности (состояния), соответствующей определенной логической функции.

64

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

x2

Схема ИЛИ реализует дизъюнкцию двух или более логических значений. Единица на выходе схемы ИЛИ будет тогда и только тогда, когда на любом из входов будет единица. Условное графическое изображение логического элемента представлено на рисунке.

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

Схема И-НЕ состоит из элемента И и инвертора и осуществляет отрицание результата схемы И. Условное графическое изображение логического элемента и таблица истинности представлены ниже.

65

Режим работы триггера, при котором R=1, а S=0,

называется режимом очистки, при R=0, S=1 – режимом записи, а при R=0, S=0 – режимом хранения. Комбинация

R=1, S=1 является запрещенной, так как на выходе Q может установиться состояние, как логического ноля, так и логической единицы. Рассмотрим пример построения электронной схемы, состоящей из базовых логических элементов.

Пример. Одноразрядный двоичный сумматор имеет два входа (x1 и x2) и два выхода (S – сумма и P – перенос в старший разряд). Таблица истинности для сумматора имеет следующий вид.

Записать логические функции для S и P и составить электронную логическую схему сумматора, используя основные логические элементы.

Решение

Выходные функции S и P можно представить

следующим образом: S f1(x1, x2 ) x1x2 x1 x2 ; P=f2(x1,

x2)=x1x2.

Тогда структурная схема сумматора будет иметь следующий вид.

67

69

70