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