Описание материала:
В один архив собраны 14 различных вариантов, выполненных в виде doc файлов (по 2 варианта в одном файле). Все работы ранее публиковались на сайте в рубрике «Вычислительная математика». В данных работах рассмотрены следующие вопросы:
- Упрощение формулы логического выражения.
- Проверка обоснованности аргументации.
- Определение предикатов, свойства предикатов.
- Запись выражений в символьном виде.
- Составление выражений с использованием базовых операция реляционной алгербы.
- Получение СДНФ.
- Составление таблицы истинности функции.