Тема: Основы теории множеств

Тема: Основы теории множеств

Цель работы:

1. изучить способы описания булевых функций;

2. Изучить способы преобразования булевых функций.

Адание

1. Доказать по таблицам истинности равносильность

2. Доказать по таблицам истинности равносильность f = g

3. Доказать по таблицам истинности справедливость равносильностей

a.

b.

c.

d.

e.

f.

4. Доказать равносильность f = g с помощью эквивалентных преобразований

1)
2)
3)
4)

5.
Реализовать функцию f в классическом элементном базисе

6. Для функции f выписать по таблице истинности СДНФ на единичных наборах значений аргументов. Выписать аналитический вид функции f на нулевых наборах значений аргументов.
СДНФ:

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