Известно, что коньюкция и импликация образуют базис в пространстве булевых функций, сохраняющих единицу. Поэтому с их помощью можно выразить дизьюнкцию, как это сделать?

задан 27 Ноя '11 2:46

изменен 29 Ноя '11 14:38

Expert's gravatar image


15719

10|600 символов нужно символов осталось
4

Например, $%\left(x\rightarrow{y}\right)\rightarrow{y}$% — даже конъюнкция не нужна. А всё потому, что сама импликация есть базис класса функций вида «дизъюнкция одного из аргументов с чем угодно».

ссылка

отвечен 27 Ноя '11 8:13

10|600 символов нужно символов осталось
Ваш ответ

Если вы не нашли ответ, задайте вопрос.

Здравствуйте

Математика - это совместно редактируемый форум вопросов и ответов для начинающих и опытных математиков, с особенным акцентом на компьютерные науки.

Присоединяйтесь!

отмечен:

×187

задан
27 Ноя '11 2:46

показан
3419 раз

обновлен
29 Ноя '11 14:38

Отслеживать вопрос

по почте:

Зарегистрировавшись, вы сможете подписаться на любые обновления

по RSS:

Ответы

Ответы и Комментарии

Дизайн сайта/логотип © «Сеть Знаний». Контент распространяется под лицензией cc by-sa 3.0 с обязательным указанием авторства.
Рейтинг@Mail.ru