А правда ли, что любая существенная функция из
является базисом этого класса? Казалось бы, в этом классе функция, существенно зависящая от трех переменных, одна (с точностью, естественно, до переименования переменных). И если отождествить нужное количество переменных в функции от большего числа переменных (оставить три), то мы ни к чему другому, кроме неё, не придем. С другой стороны, возможно, мы придем сразу к селекторной функции, если одна дизъюнкция после отождествления поглотится другой. Почему не произойдет такого, как бы это строго доказать?
