ЗАДАНИЯ
                    лабораторной работы No.1
         по курсу "Математичні основи інформатики"

          кафедра компьютерних технологій, ДНУ
                         2015/2016 уч.г.

Тема: "Автоматизація доведення тавтологій за допомогою ПЗ Simplify"

Разделы лабораторной работы.
1. Ознакомиться с ПО Simplify по документации [1].
2. Применить ПО Simplify для доказательства утверждений
   а) заданных с консоли;
   б) заданных в текстовом файле.
3. Применить ПО Simplify для доказательства
   12 законов эквивалентности [2].

Литература/Ссылки
1. Файл: Simplify.html
2. Грис Д. Наука программирования. - М: МИР, 1984. - 416 c.

Примечание.
Все источники имеются в электронном виде.