http://webfile.ru/5741514
Вариант 02
Эти лабораторные и есть контрольная.
Из ЛР№1 сделать 5 заданий на выбор
Из ЛР№2 - 1 задание на выбор
ЛР№3 - самое последнее задание методом прямого преобразования, методом симантических таблиц, методом резолюции
ЛР№4-7 - по 1 произвольному заданию из каждой.