Уравнение вида где — булева функция п переменных. Множество всех решений уравнения вида (*) может быть описано системой булевых функций, зависящих от n произвольных параметров. Лит.:[1] Биркгоф Г., Теория структур, пер. с англ., М., 1952. Т. С. Фофанова.