-1

Пусть h - любая функция истинности с n аргументами, где $$n \geq 1$$ и пусть $$p_1, ..., p_n$$ различные пропозициональные переменные. Тогда существует формула A в дизъюктивной нормальной форме такая, что $$h = [\lambda p_1, ..., \lambda p_nA]$$

задан 6 Фев 19:13

изменен 6 Фев 19:46

@Антон_бпми191:

1) Что такое "лямбда"?

2) Что обозначают квадратные скобки?

3) Почему сначала было p0, а потому оно исчезло?

4) Последняя фраза наполовину про "Фому" (формула A), наполовину про "Ерёму" (формула h).

5) Кто до такой степени бессвязно формулирует условия задач? :)

(6 Фев 19:22) falcao

Первые два вопроса по-прежнему остаются.

(6 Фев 20:30) falcao
10|600 символов нужно символов осталось
Знаете, кто может ответить? Поделитесь вопросом в Twitter или ВКонтакте.

Ваш ответ

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

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

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

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

отмечен:

×865

задан
6 Фев 19:13

показан
73 раза

обновлен
6 Фев 20:30

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

по почте:

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

по RSS:

Ответы

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

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