Вариант 1
Задание 1. Построить таблицу истинности для функции
f(x,y,z)=(xy
Задание 2. Определить, является ли данная функция алгебры логики тождественно ложной/истинной?
f(x,y,z)=(xy
Задание 3. Выразить данную функцию через коньюкцию и дизъюнкцию?
f(x,y,z)=(xy )
Задание 5. Упростить данную функцию используя элементарные преобразования
f(x,y,z)=(xy
z)(x|y)
Задание 6. Построить СДНФ для функции.
f(x,y,z)=(xy
z)
(xz
y)
Задание 7. Построить СКНФ для функции.
f(x,y,z)=(xy z) (xz y)
Вариант 2
Задание 1. Построить таблицу истинности для функции
f(x,y,z)=(xy
Задание 2. Определить, является ли данная функция алгебры логики тождественно ложной/истинной?
f(x,y)=(x
y)(y
)
Задание 3. Выразить данную функцию через коньюкцию и дизъюнкцию?
f(x,y)=(x
y)(y
)
Задание 5. Упростить данную функцию используя элементарные преобразования
.
f(x,y)=(x
y)(y
(x
y))
Задание 6. Построить СДНФ для функции.
f(x,y,z)=(xy
z)
(xz
y)
Задание 7. Построить СКНФ для функции.
f(x,y,z)=(xy z) (xz y)
Вариант 3
Задание 1. Построить таблицу истинности для функции
f(x,y)=(xy x) y
Задание 2. Определить, является ли данная функция алгебры логики тождественно ложной/истинной?
f(x,y,z)=xyz
Задание 3. Выразить данную функцию через коньюкцию и дизъюнкцию?
f(x,y,z)=xyz
Задание 5. Упростить данную функцию используя элементарные преобразования
f(x,y,z)=(xyz (x y)) z
Задание 6. Построить СДНФ для функции.
f(x,y,z)=(x z) (x y) (y z)
Задание 7. Построить СКНФ для функции.
f(x,y,z)=(x z) (x y) (y z)
Технология работы
Задание №1 Используя таблицы истинности для каждой из операций построить таблицу истинности для функции. Соблюсти лексикографический порядок, использовать все наборы логических значений переменных
Задание №2 Рассчитать логические значения функции на всех наборах переменных, сделать вывод
Задача№3 Используя тождественные преобразования перейти к формуле содержащей только конъюнкции и дизъюнкции (операция отрицания допустимо только применяемо к переменной).
Задача №4 Поэтапно применять тождества алгебры логики, учитывая порядок выполнения операций. При их применении необходимо руководствоваться принципом упрощения(сокращение операции, замена более сложных на более простые, сокращение количества переменных)
Задание №5 В данной задачи применимы все 3 метода приведения к совершенной форме. Выбор метода зависит от простоты применения и способностей учащихся.
Задание №6 В данной задачи применимы все 3 метода приведения к совершенной форме. Выбор метода зависит от простоты применения и способностей учащихся.
Контрольные вопросы:
Что называется высказыванием?
Приведите пример высказываний. Какое высказывание называется истинным, а какое ложным?
Что называется составным высказыванием?
Перечислите виды логических операций над высказываниями и сформулируйте их определение.
Какие основные символы используются в теории высказываний?
Какие связки простейшие? Назовите другие связки.
Что такое таблица истинности высказывания и как она строится? Как ещё называется эта таблица?
Какие существуют логические отношения между высказываниями?
Перечислите варианты импликации.
Сформулируйте основные законы алгебры высказываний. Как их доказать?
Что такое булева функция?
Как строится таблица истинности для булевых функций?
Что такое ДНФ и КНФ?
Дайте определение совершенного одночлена.
Приведите правило преобразования формул в СДНФ и СКНФ.
Как булевы функции связаны с формулами алгебры высказываний?
Дайте определение многочлена Жегалкина и сформулируйте теорему Жегалкина.
Сформулируйте первый алгоритм построения многочлена Жегалкина булевой функции.
В чём состоит метод неопределённых коэффициентов для построения многочлена Жегалкина?
Какой многочлен Жегалкина называется не линейным?
Каков алгоритм определения линейности (нелинейности) булевой функции?
Список рекомендованной литературы
Задачи и упражнения по математической логике и теории алгоритмов : учеб. пособие для студ. высш. учеб. заведений / В.И.Игошин. — 3-е изд., стер. — М. : Издательский центр «Академия», 2007. — 304 с.
Математическая логика и теория алгоритмов : учеб. пособие для студ. высш. учеб. заведений / В. И. Игошин. — 2-е изд., стер. — М. : Издательский центр «Академия», 2008. — 448 с.