Изменения
→Полные системы функций
{{Определение
|definition=
Полная система функций называется '''базисомбезызбыточной''', если она перестаёт быть полной при исключении из неё любого элемента.
}}
Первая из упоминавшихся выше полных систем базисом не является, поскольку согласно законам де Моргана либо дизъюнкцию, либо конъюнкцию можно исключить из системы и восстановить с помощью остальных двух функций. Вторая система является базисом — все три её элемента необходимы для полноты.
