Изменения

Перейти к: навигация, поиск

Участник:Fad Oleg

258 байт добавлено, 20 июнь
Полнота стандартного базиса
{{Утверждение
|statement = Стандартный базис является [[Полные системы функций. Теорема Поста о полной системе функций|полной системой булевых функций]]
|proof = Данное утверждение - следствие [[СДНФ|теоремы об СДНФ]]. Если рассмотреть функцию, не равную тождественному нулю, то она представима в виде СДНФ, в которой используются функции стандартного базиса.
}}
37
правок

Навигация