Не рекомендуется использовать Internet Explorer или Microsoft Edge. Сайт может не корректно работать. Скачайте, пожалуйста, современный браузер. Например Chrome или FireFox.
Тип работы:
Работа Экзаменационная Форматы файлов:
Microsoft Word Сдано в учебном заведении:
СибГУТИ
Описание:
Проверить являются ли формулами ИВ выражения: (А & В)С¬D (А & В)->С (A->B)->(C->D) (((¬A)->D)->C)
Комментарии:
Уважаемый слушатель, дистанционного обучения, Оценена Ваша работа по предмету: Математическая логика и теория алгоритмов Вид работы: Зачет Оценка:Зачет Дата оценки: 13.01.2013 Рецензия: Мачикина Елена Павловна