Одночлен от некоторых переменных называется совершенным, если
каждая из этих переменных входит в него только со знаком отрицания
каждая из этих переменных входит в него только с операцией конъюнкции
каждая из этих переменных входит в него точно один раз либо со знаком отрицания, либо без него
каждая из этих переменных входит в него либо со знаком отрицания, либо без него