- Магазин готовых работ
- Поиск по учебному заведению
- Санкт-Петербургский Государственный Университет Аэрокосмического Приборостроения. ГУАП
- Высшая математика
- Математическая логика
Математическая логика
Каждый вариант содержит 8 заданий.
1) Доказать равенство множеств.
2) Построить таблицу истинности для логической функции .
3) Найти выражение для функции, двойственной функции , и определить номер двойственной функции.
4) Упростить выражение для функции .
5) Найти СДНФ и СКНФ для функции с заданным номером.
6) Найти полином Жегалкина для функции с заданным номером.
7) Проверить монотонность функции из пункта 2.
8) Доказать секвенцию табличным методом.