Дискретна математика. ЛР. Рівносильність формул. Спрощення систем висловень