81
правка
Изменения
доказательство полноты систем {or, not} & {and, not}
# Присутствует 1 член. Выразим '''И''', через '''НЕ''' и <tex>f_l</tex>.
В итоге получаем функцию '''НЕ''', а также либо функцию '''И''', либо функцию '''ИЛИ'''. Поскольку функцию '''И''' можно выразить через '''ИЛИ''' и '''НЕ''', но а функцию '''ИЛИ''' через '''И''' и '''НЕ''' образует , то мы получили базис и с той и с другой функциями. Из того, что через функции '''FИ, ИЛИ, НЕ''' . Поскольку любую булеву функцию можно выразить базиспредставить в форме [[СДНФ]], т. е. с помощью данного базиса, значит, полученные функции образуют полную систему. Из этого следует, что '''F''' {{---}} полная система функций, что и требовалось доказать.
}}
== Примеры ==
Согласно критерию Поста система булевых функций полна тогда и только тогда, когда она не содержится целиком ни в одном из классов <tex>T_0</tex>, <tex>T_1</tex>, <tex>S</tex>, <tex>M</tex>, <tex>L</tex>.
