Изменения

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

Участник:Fad Oleg

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

Навигация