ЗАДАНИЯ лабораторной работы No.1 по курсу "Математичні основи інформатики" кафедра компьютерних технологій, ДНУ 2017/2018 уч.г. Тема: "Автоматизація доведення тавтологій за допомогою ПЗ Simplify" Разделы лабораторной работы. 1. Ознакомиться с ПО Simplify по документации [1]. 2. Применить ПО Simplify для доказательства утверждений а) заданных с консоли; б) заданных в текстовом файле. 3. Применить ПО Simplify для доказательства 12 законов эквивалентности [2]. Литература/Ссылки 1. http://khizha.dp.ua/library/simplify/*.* Файл: Simplify.html Файл: Simplify-1.5.4.exe 2. Грис Д. Наука программирования. - М: МИР, 1984. - 416 c. Примечание. Все источники имеются в электронном виде.