Любую булеву функцию с произвольным количеством аргументов можно построить

• через подстановку элементарных функций вместо аргументов
• без использования инверсии и дизъюнкции
• игнорируя инверсию
• используя константу единицы