Билет 8

Основные понятия и операции формальной логики. Законы логики. Логические

выражения и их преобразования. Построение таблиц истинности логических

выражений.

Логическое высказывание — это любое повествовательное предложение, в отношении

которого можно однозначно сказать, истинно оно или ложно.

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

называются составными. Высказывания, не являющиеся составными, называются

элементарными.

Существуют три основные логические операции: отрицания (операция, выражаемая

словом “не”), дизъюнкции (операция, выражаемая связкой “или”) и конъюнкции

(операция, выражаемая связкой “и”).

Отрицание (инверсия) . Инверсия высказывания истина, когда само высказывание

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

№ случаяĀF=Ā

101

210

Дизъюнкция (логическое сложение) двух или более высказываний ложно тогда и

только тогда, когда все простые высказывания входящие в неё ложны.

№ случаяАВF=A v B

1000

2101

3011

4111

Конъюнкция (логическое умножение) двух или более высказываний истинно тогда и

только тогда, когда все простые высказывания входящие в неё истины.

№ случаяАВF=A&B

1000

2100

3010

4111

Операция, выражаемая связками “если ..., то”, “из ... следует”, “... влечет

...”, называется импликацией (лат. implico — тесно связаны) и обозначается

знаком→ .

Высказывание А→ В ложно тогда и только тогда, когда А истинно, а В — ложно.

№

случаяABA⊃B

1001

2011

3100

4111

Операция, выражаемая связками “тогда и только тогда”, "необходимо и достаточно”,

“... равносильно ...”, называется эквиваленцией и обозначается знаком↔ или ~ .

Высказывание А↔ В истинно тогда и только тогда, когда значения А и В совпадают.

ABА↔ В

001

010

100

111

Импликацию можно выразить через дизъюнкцию и отрицание:

А → В = v В.

Эквиваленцию можно выразить через отрицание, дизъюнкцию и конъюнкцию:

А ↔ В = ( v В).• ( v А).

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

уменьшения числа скобок договорились считать, что сначала выполняется операция

отрицания (“не”), затем конъюнкция (“и”), после конъюнкции — дизъюнкция (“или”)

и в последнюю очередь — импликация.

Логическая формула.

С помощью логических переменных и символов логических операций любое

высказывание можно формализовать, то есть заменить логической формулой.

Определение логической формулы:

Всякая логическая переменная и символы “истина” (“1”) и “ложь” (“0”) — формулы.

Если А и В — формулы, то , (А • В), (А v В), (А→B), (А↔ В) — формулы.

Никаких других формул в алгебре логики нет.

Некоторые формулы принимают значение “истина” при любых значениях истинности

входящих в них переменных. Такие формулы называются тождественно истинными

формулами или тавтологиями.

Некоторые формулы принимают значение “ложно” при любых значениях истинности

входящих в них переменных. Такие формулы называются тождественно ложными

формулами или противоречиями.

Если две формулы при одинаковых наборах значений входящих в них переменных,

принимают одинаковые значения, то они называются равносильными.

Связь между алгеброй логики и двоичным кодированием

Математический аппарат алгебры логики очень удобен для описания того, как

функционируют аппаратные средства компьютера, поскольку основной системой

счисления в компьютере является двоичная, в которой используются цифры 1 и 0, а

значений логических переменных тоже два: “1” и “0”.

Из этого следует два вывода:

- одни и те же устройства компьютера могут применяться для обработки и хранения

как числовой информации, представленной в двоичной системе счисления, так и

логических переменных;

- на этапе конструирования аппаратных средств алгебра логики позволяет

значительно упростить логические функции, описывающие функционирование схем

компьютера, и, следовательно, уменьшить число элементарных логических элементов,

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

Существуют различные физические способы кодирования двоичной информации, но чаще

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

Элементы математической логики. Законы логики. Упрощение логических формул.

Тождества и законы алгебры логики

Тождества

логического сложения (дизъюнкции)логического умножения (конъюнкции)

А Ú 0 = АА Ù 0 = 0

А Ú 1 = 1А Ù 1 = А

А Ú А = АА Ù А = А

А Ú ØА = 1А Ù ØА = 0

Ø(ØА) = А

Законы

логического сложения (дизъюнкции)логического умножения (конъюнкции)

Переместительный закон

А Ú В = В Ú АА Ù В = В Ù А

Сочетательный закон

(А Ú В) Ú С = А Ú (В Ú С)(А Ù В) Ù С = А Ù (В Ù С)

Распределительный закон

(А Ú В) Ù С = (А Ù С) Ú (В Ù С)(А Ù В) Ú С = (А Ú С) Ù (В Ù С)

Закон де Моргана (закон отрицания)

Ø(А Ú В) = ØА Ù ØВØ(А Ù В) = ØА Ú ØВ

Упростите выражения:

1 Ú А Ù 0 = 1Ú0 = 1

А Ù А Ù 1 = А

0 Ù А Ú 0 = 0 Ú 0 = 0

0 Ú А Ù 1 = 0 Ú А = А

А Ú (ØА Ù В) = (А Ú ØА) Ù (А Ú В) = 1 Ù (А Ú В) = А Ú В

АВØАØА Ù ВА Ú (ØА Ù В)

00100

01111

10001

11001

ØА Ù (Ø(ØВ Ú А)) = ØА Ù (В ÙØА) = (ØА Ù ØА) Ù В = ØА Ù В

АВØАØВØВÚАØ(ØВÚА)ØА Ù (Ø(ØВ Ú А))

0011100

0110011

1001100

1100100

АВØАØА Ù В

0010

0111

1000

1100