Ну, а остальные уже сами !!!!!!!! Список литературы

1. В.И. Игошин. Математическая логика и теория алгоритмов. М.: Наука, 2005

2. Кузнецов О.П., Адельсон-Вельский Г. М. Дискретная математика для инженеров. М.: Наука, 2008, 408с.

3. В.И. Игошин. Задачник-практикум по математической логике. М.: Изд. АЙРИС Пресс, 2007.

4. Галушкина Ю.И., Марьямов А.Н. Конспект лекций по дискретной математике. М.: Изд. АЙРИС Пресс, 2007, 176с.

5. Иванов Б.Н. Дискретная математика. Алгоритмы и программы. М. :Лаб. Базовых знаний, 2002,288с.

Индивидуальные задания

Задание 1. Решить систему логических уравнений двумя способами

Вариант 1.

Вариант 2.

Вариант 3.

Вариант 4.

Вариант 5.

Вариант 6.

Вариант 7.

Вариант 8.

Вариант 9.

Вариант 10.

Вариант 11.

Вариант 12.

Вариант 13.

Вариант 14.

Вариант 15.

Задание 2. Доказать равносильность формул с помощью

а) таблиц истинности,

б) равносильных преобразований.

Вариант 1.

Вариант 2.

Вариант 3.

Вариант 4.

Вариант 5.

Вариант 6.

Вариант 7.

Вариант 8.

Вариант 9.

Вариант 10.

Вариант 11.

Вариант 12.

Вариант 13.

Вариант 14.

Вариант 15.

Задание 3. Найдите конъюнктивную нормальную форму формулы F. Является ли формула F тавтологией?

Вариант 1.

Вариант 2

Вариант 3

Вариант 4

Вариант 5

Вариант 6

Вариант 7

Вариант 8

Вариант 9

Вариант 10

Вариант 11

Вариант 12

Вариант 13

Вариант 14

Вариант 15

Задание 4. Найти д.н.ф. формулы f. Является ли формула f противоречием.

Вариант 1.

Вариант 2

Вариант 3

Вариант 4

Вариант 5

Вариант 6

Вариант 7

Вариант 8

Вариант 9

Вариант 10

Вариант 11

Вариант 12

Вариант 13

Вариант 14

Вариант 15

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

Вариант 1.

Вариант 2.

Вариант 3.

Вариант 4.

Вариант 5.

Вариант 6.

Вариант 7.

Вариант 8.

Вариант 9.

Вариант 10.

Вариант 11.

Вариант 12.

Вариант 13.

Вариант 14.

Вариант 15.

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

Вариант 1. .

Вариант 2. .

Вариант 3. .

Вариант 4. .

Вариант 5. .

Вариант 6. .

Вариант 7. .

Вариант 8. .

Вариант 9. .

Вариант 10. .

Вариант 11. .

Вариант 12. .

Вариант 13. .

Вариант 14. .

Вариант 15. .