Изменения

В итоге получаем функцию '''НЕ''', а также либо функцию '''И''', либо функцию '''ИЛИ'''. Поскольку функцию '''И''' можно выразить через '''ИЛИ''' и '''НЕ''', а функцию '''ИЛИ''' через '''И''' и '''НЕ''', то мы получили базис '''И, ИЛИ, НЕ'''. Поскольку любую Любую булеву функцию , не равную тождественному нулю, можно представить в форме [[СДНФ]], т. е. с помощью данного базиса. Если же функция равна тождественному нулю, значитто ее можно представить в виде <tex>x \land \overline{x}</tex>. Значит, полученные функции образуют полную систему, т. к. с их помощью можно выразить любую булеву функцию. Из этого следует, что '''F''' {{---}} полная система функций, что и требовалось доказать.