
- •Алгебра логики в задачах
- •Издательство «наука» главная редакция физико-математической литературы
- •17071, Москва, в-71, Ленинский проспект, 15
- •Оглавление
- •Предисловие
- •Путеводитель и указания к пользованию книгой
- •§ 1. Операции над высказываниями
- •Ответы и указания к задачам § 1
- •Нужио лишь вспомнить определения необходимых и достаточ ных условий, после чего утверждение превращается в тавтологию.
- •16 Операций; каждая операция задается своей истинностной таблицей, так что задача заключается в том, чтобы найти число всех различных таблиц.
- •Решение непосредственно следует из определения фиктивного вхождения (задача 1.10) и определения равносильности формул.
- •Достаточно выразить конъюнкцию и отрицание или дизъюнкцию ц отрицание.
- •§ 2. Функции алгебры логики; нормальные формы
- •Функции алгебры логики; равносильность функций.
- •Булевы алгебры.
- •, (2 9) Для перенесения отрицаний (ср. Задачу 2.8).
- •Ответы и указания к задачам § 2
- •2.36. Элементарная дизъюнкция (правильная) X°‘V. . .V*”" равна
- •Можно выбирать произвольно значения функции на всех наборах, кроме нулевого, т. Е. На (2"—1) наборах. Такой выбор осуществляется 22"-1 способами.
- •Рассмотрим для примера равносильности (2.3) и (2.7).
- •Решение аналогично решению задачи 2.6, с той лишь разницей, что вместо распределительного закона ,(2-6) используется закон (2.7).
- •Решение мальчика не выполнено, если он не закончил чтение книги или не сходил ни в музей, ни в кино, и, хотя была хорошая погода, он не купался.
- •Простые высказывания:
- •В примере 3) рассмотрим подалгебру из трех элементов:
- •Вновь применяем преобразование 3).
- •§3. Закон двойственности в алгебре логики
- •§ 4. Арифметические операции в алгебре логики
- •Ответы и указания к задачам § 4
- •Ответы и решения к задачам § 4
- •Общий вид нелинейной функции от двух переменных:
- •§5. Монотонные функции алгебры логики
- •Ответы и решения к задачам § 5
- •§ 6. Функционально замкнутые классы и теорема поста
- •§7. Общая теория функционально
- •§8. Схемы из функциональных элементов
- •§ 9. Релейно-контактные схемы. Оценки сложности схем
- •Реализация линейных функций контактными схемами.
- •Ответы и решения к задачам § 9
- •§ 10. Элементы вероятностной логики
- •Ответы и указания к задачам § 10
- •§ II. Многозначные логики
- •10, Если хфЬ.
- •§ 12. Логика предикатов
- •Последовательность {ап} имеет конечный предел, если
§ 4. Арифметические операции в алгебре логики
Конъюнкция ху в булевой алгебре {0, 1} совпадает с арифметической операцией умножения над числами 0, 1. Обычное арифметическое сложение выводит за пределы множества {0, 1}, однако можно рассмотреть сложение по модулю 2. В результате возникает функция алгебры логики, которую мы будем обозначать через х-\-у (не указывая, что сложение проводится по модулю 2, ибо у нас будет встречаться только это сложение), задаваемая таблицей
X |
У |
х+у |
1 |
1 |
0 |
0 |
1 |
1 |
1 |
0 |
1 |
1 |
1 |
0 |
Заметим, что х-\-у=х~у=хАу 1). Для введенного сложения и умножения (конъюнкции) имеют место все основные арифметические законы: коммутативность, ассоциативность, дистрибутивность умножения относительно сложения. Поэтому мы, специально не оговаривая этого, будем использовать все обычные упрощения в записи арифметических выражений.
Представить х+у в виде СДНФ, СКНФ; найти (х+у)+. А
Суперпозиции функций ху, х-\-у и констант в силу сделанного выше замечания можно считать «полиномами».
Доказать, что всякая функция алгебры логики может быть представлена арифметическим полиномом (по модулю 2). ▲
Выберем канонический вид полинома. В силу (2.11) хп=х при /0=1; далее, х-\-х—Ь.
Определение 4.1. Полиномом Жегалкина называется полином, являющийся суммой константы и различных одночленов, в которые все переменные входят не выше, чем в первой степени:
2 Ж/. ... xlk + a,
причем в каждом наборе (г\ ih) все ij различны, а суммирование ведется по некоторому множеству таких не совпадающих наборов.
Нам удобно включить формально в число одночленов и константы.
Возможность преобразования произвольного арифметического полинома в полином Жегалкина следует из замечаний, приведенных перед определением.
Представить полиномами Жегалкина: а) основные логические операции; б) x\Jy\/z\ в) xy\Jyz\Jxz\ г) xyz\J V xyz\J xyz\J xyz. A
Доказать, что представление функций полиномами Жегалкина единственно. ▲
Определение 4.2..Функции вида л^+л^Ч-. . .
.. . -\-Xik+a, где а — константа, называются линейными.
Линейные функции можно записывать в виде
П
2в/*/ + во. (4-1)
t =1
где аи я0 равны нулю или единице.
Сколько имеется линейных функций от п переменных? ▲
65
С. Г. Гиндииин
Заметим, что всякая функция от одной переменной линейна.
Какие из линейных функций являются самодвойственными? ▲
Замечание. Для доказательства нелинейности функции достаточно показать, что в представляющем ее полиноме Жегалкина есть член выше первой степени. При этом существенна единственность представления функций в виде полинома Жегалкина. Именно, непосредственно строя отрицание высказывания, приведенного в определении
мы получаем, что для доказательства нелинейности функции нужно доказать, что она не может быть представлена в виде (4.1), а это следует из нелинейности ее полинома Жегалкина в силу его единственности (так как (4 1) — полином Жегалкина)
Какие из функций задачи 4.3 линейны? ▲
Доказать, что функция, представленная полиномом Жегалкина, существенно зависит от всех входящих в него переменных. ▲
Показать, что следующее определение линейной функции эквивалентно принятому выше. Функция линейна тогда и только тогда, когда она после любой фиксации переменных продолжает существенно зависеть от всех незафиксированных переменных (см. задачи 1.9, 1.10). ▲
Дана произвольная нелинейная функция. Нелинейную функцию от какого минимального числа переменных можно получить, отождествляя переменные данной функции? ▲
Нелинейную функцию от какого минимального числа переменных можно получить, строя суперпозиции произвольной нелинейной функции и одной из констант? ▲
Имеется какая-то одна нелинейная функция от двух переменных и отрицание. Доказать, что суперпозициями из них можно получить все нелинейные функции от двух переменных. ▲