2 марта он нам диктовал алгоритм построения минимальной ДНФ. Вот один из пунктов(цитата, терминология автора сохранена))):
"Добавляем те элементарные произведения сокращённой, которые после добавления вместе с ядровой ЗАМЕТАЮТ все крестики-значения. Если все крестики ЗАМЕТЕНЫ, то добавлять ничего не надо".
Его комментарий к одному примеру:
"В качестве проверки на минимальную можно было бы взять другую сумму 3-х произведений, лишь бы они ЗАМЕТАЛИ крестики. Но 2 произведения оставить нельзя, т.к. какой-то крестик не ЗАМЕТЁТСЯ". "Квадратный нуль" - тоже его слова :D .
Я, конечно, далеко не знаток дискретной математики, но, по-моему, там нет таких терминов. :)