Изменения

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

Участник:Fad Oleg

19 байт добавлено, 00:48, 25 июня 2021

→‎Стандартный базис

'''Пример:'''

~~Выразим~~ Выразить через стандартный базис обратную импликацию(<tex>\left (x \leftarrow y\right ) </tex>).

<tex>x \leftarrow y = \lnot x \rightarrow \lnot y = x \lor \lnot y </tex>

37

правок

Источник — «http://neerc.ifmo.ru/wiki/index.php?title=Служебная:Сравнение_версий/81090»