37
правок
Изменения
→Стандартный базис
Тождественность функций можно доказать с помощью таблицы истинности.
'''Пример:'''
Выразим через стандартный базис обратную импликацию(<tex>x \leftarrow y</tex>).
<tex>x \leftarrow y = \lnot x \rightarrow \lnot y = x \lor \lnot y </tex>
==Полнота стандартного базиса==
