1. Нужно определить количество решений в неотрицательных целых числах имеет уравнение, если переменные удовлетворяют заданным условиям.
2. Для булевой функции составить совершенную дизъюктивную нормальную форму и минимизировать ее, используя единичный куб карты Карно и алгоритм Квайна-Маккласки