Теорема 2

Если все функции функционально полной системы представимы формулами над , то также функционально полна.

Таким образом, чтобы перейти в записи логической формулы от одного базиса к другому, нужно просто заменить все операции первого базиса через операции второго базиса.

Алгебра , основным множеством которой является множество всех логических функций , а операциями (т.е. сигнатурой ) – конъюнкция, дизъюнкция и отрицание, называется булевой алгеброй логических функций.