85576 (Дискретная математика), страница 2

Штрих Шеффера является отрицанием конъюнкции, стрелка Пирса – отрицание дизъюнкции, сумма Жегалкина – отрицание эквивалентности.

М. Жегалкин (1869–1947) – российский математик и логик, один из основоположников современной математической логики.

Чарльз Пирс (1839–1914) – американский логик, математик и естествоиспытатель. Основоположник семиотики, родоначальник прагматизма.

3.3 Формулы алгебры логики

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

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

1. любая логическая переменная является формулой (атомарной);

2. если и – формулы, то выражения и другие, представленные в табл. 1, являются формулами;

3. никаких других формул, кроме построенных в пунктах 1 и 2, нет.

Если формула построена из логических переменных, лежащих в множестве {x₁, x₂,…, x_n}, то будем писать {x₁, x₂,…, x_n}.

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

На множестве вводится транзитивное отношение < «быть более сильным» и отношение ~ «быть равносильным» по правилам, представленным на рис. 2. Для равносильных связок расстановка скобок выполняется слева направо.

Рис. 2. Приоритетность логических операций

Все формулы алгебры логики можно разделить на 3 класса:

1. нейтральные, или выполнимые – принимающие как истинное, так и ложное значения;

2. тождественно истинные формулы (или тавтологии) – принимающие истинные значения при любых значениях переменных;

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

Существует два способа определения истинного значения формулы. Первый – с помощью таблиц истинности, а второй – путём приведения формул к нормальной форме. Формула имеет нормальную форму, если в ней отсутствуют знаки эквиваленции, импликации, двойного отрицания и др., при этом знаки отрицания находятся только при переменных.

Табличный способ определения истинного значения формул имеет ограниченное применение, поскольку при увеличении количества переменных приходится рассматривать слишком много вариантов (2^N).

Равносильными называются два высказывания, у которых таблицы истинности совпадают.

Пример. Составим таблицу истинности функции f=(A B)~( ):

Таблица 3

Полученное высказывание истинно всегда. Такие высказывания называют тождественно истинными и обозначаются J. По аналогии существуют и тождественно ложные высказывания L. Метод заполнения таблицы истинности принят для не очень сложных высказываний. Если выражение содержит N опций, то таблица становится громоздкой. Для этого используются законы алгебры логики. Таблицу истинности можно составить с использованием программы. В большинстве языков высокого уровня имеются логические операции NOT, AND, OR, XOR, реализующие операции соответственно.

Контрольные вопросы

1. Дайте определение высказывания.

2. Перечислите основные символы алгебры высказываний.

3. Перечислите основные функции алгебры логики.

4. Что является основной задачей алгебры логики?

5. Что такое таблицы истинности логических функций?

6. Составьте таблицу истинности функций дизъюнкции и конъюнкции.

7. Составьте таблицу истинности функций импликации и эквивалентности.

8. Составьте таблицу истинности функций отрицания и сложения по модулю 2.

9. Составьте таблицу истинности функций Штрих Шеффера и Стрелка Пирса.

10. Формулы алгебры логики. Приоритет логических операций. Какие отношения имеют место на множестве логических операций?

11. Что такое синтаксическая структура формулы?

12. На какие классы делятся формулы алгебры логики?

3.4 Законы алгебры логики и следствия из них

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

1. Закон тождества:

А=А

2. Закон непротиворечия:

3. Закон исключения третьего:

4. Закон двойного отрицания:

5. Законы истины и лжи (свойства констант):

6. Законы идемпотентности:

7. Коммутативные законы:

8. Ассоциативные законы:

– дизъюнкции

– конъюнкции

9. Дистрибутивные законы:

– 1‑ый дистрибутивный закон

– 2‑ой дистрибутивный закон

10. Законы поглощения:

11. Законы де Моргана:

12. Закон импликации:

13. Закон эквивалентности:

14. Свойства сложения «по модулю два»:

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

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

1. Правило поглощения. Данное правило является следствием из дистрибутивного закона. Оно может быть записано в следующем виде:

.

2. Правило свертки. Правило является следствием из второго дистрибутивного закона. Запись правила:

а) ;

б) .

3. Правило расширения. Правило записывается в следующем виде:

.

4. Правило склеивания. Базируется на понятии соседних конъюнкций. Соседними называются конъюнкции, отличающиеся представлением одной переменной. Например, конъюнкции и , и являются попарно соседними. В первой паре конъюнкции отличаются представлением х₂, а во второй – представлением х₁. По этим переменным конъюнкции склеиваются.

Формулировка правила: две соседние конъюнкции склеиваются с образованием одной конъюнкции меньшего ранга; исчезает та переменная, по которой конъюнкция склеивается.

, .

Контрольные вопросы

1. Перечислите основные законы алгебры логики. Как дозывается их справедливость?

2. Перечислите следствия из законов алгебры логики.

3.5 Логические функции многих переменных

Все логические операции, которые были рассмотрены в 3.2, распространяются и на функции нескольких переменных. Теперь будем рассматривать функции F(x₁, x₂,…, x_n), где x_i – логические переменные, которые принимают значения нуля или единицы. Для описания логики функционирования аппаратных и программных средств компьютера используется алгебра логики, или булева алгебра. Два элемента алгебры логики – ее константы – 0 (ложь) и 1 (истина). Во всех компьютерах используются сигналы двух видов. Сигналы можно интерпретировать как двоичные числа, или логические переменные.

Логической функцией F от набора логических переменных х₁,…, х_n называется функция, которая может принимать только два значения: логический 0 и логическая 1.

Область определения логической функции конечна и зависит от количества возможных наборов аргументов. Если n – число аргументов, то количество возможных наборов аргументов равно 2ⁿ.

Множество значений функции F(x₁,…, x_n) – это множество {0,1}, т. е. F=0 либо 1.

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

Вектором значений булевой функции F(x₁,…, x_n) называется упорядоченный набор всех значений функции F, при которых значения упорядочены по лексикографическому порядку множества аргументов {0,1}ⁿ.

Поскольку всего имеется 2ⁿ наборов нулей и единиц (|{0,1}ⁿ|=2ⁿ), существует ровно булевых функций F(x₁,…, x_n) от n переменных:

.

При n=2 количество функций равно 16, при n=3 – 256 и т. д. На рис. 3 представлены в упорядоченном виде наборы аргументов для ряда функций – отрицания 0, функций одного, двух и трёх аргументов.