Интересная задачка

← →
Колдун © (2006-09-10 10:30) [0]

Вот нашёл прикольную такую вещь:

Даны 4 простых высказывания:

A={на улице идёт дождь}
B={на улице светит солнце}
C={на улице пасмурная погода}
D={на улице идёт снег}

Составить два сложных высказывания, одно из которых в любой ситуации будет ВСЕГДА истинно, а другое - ВСЕГДА ложно, используя ВСЕ предложенные простые высказывания.

← →
Чапаев © (2006-09-10 10:32) [1]

AvBvD
B^C

← →
Колдун © (2006-09-10 10:34) [2]

Нарминаю: используя ВСЕ предложенные высказывания

← →
Колдун © (2006-09-10 10:36) [3]

Нарминаю=напоминаю

← →
Чапаев © (2006-09-10 10:39) [4]

> напоминаю

Не напоминаешь, а говоришь впервые...

AvBvDv(-C^C)
A^B^C^D

← →
Чапаев © (2006-09-10 10:40) [5]

Хотя нет, пардон, ВСЕ я что-то прошлядел с первой попытки.

← →
Sergey Masloff (2006-09-10 10:44) [6]

Рекомендую дж. андерсон "дискретная математика и комбинаторика". После первых 3-4 глав эти задачки перейдут из разряда интересных в разряд тривиальных.

← →
Колдун © (2006-09-10 10:47) [7]

Можете пояснить, как вы дошли до решения задачи?

← →
Alx2 © (2006-09-10 10:47) [8]

X|~X - всегда истинно
X&~X - всегда ложно

← →
Колдун © (2006-09-10 10:50) [9]

что вы имеете ввиду под ~X ?

← →
SergP © (2006-09-10 10:49) [10]

V1 = not (a and b and c and d)
V2 = a and b and c and d

← →
Alx2 © (2006-09-10 10:50) [11]

>Колдун © (10.09.06 10:50)
~X = not X

← →
Колдун © (2006-09-10 10:53) [12]

Мне действительно больше понравился ответ SergP (я тоже раздумывал над таким решением). Он менее запутанный, ИМХО.

← →
Колдун © (2006-09-10 10:58) [13]

Итак, первое - истинно, а второе ложно,всё верно?

← →
DprYg © (2006-09-10 11:03) [14]

Еще насчет задачек (правда не по теме). Кто-нибудь знает как извлечь кубический корень из отрицательного числа в стандартном калькуляторе? (у меня что-то не получается)

← →
Alx2 © (2006-09-10 11:03) [15]

>Колдун © (10.09.06 10:58) [13]

По задачке (более подробно) :)
f(A,B,C,D) or not f(A,B,C,D) - всегда истинно.
f(A,B,C,D) and not f(A,B,C,D) - всегда ложно.

Наверное, вопрос ставился а-ля "Составить два сложных высказывания минимальной "стоимости"...

Где "стоимость" - либо количество операций, либо количество вхождений аргументов, либо что-то еще в этом роде.

?

> Alx2 © (10.09.06 11:06) [16]
Под стандартным я подразумевал входящий в комплект Windows.
А его вид,естественно, инженерный. Из положительных извлекается
нормально. А из отрицательных пишет - недопустимый аргумент.
Получается, нужно извлекать из полож. и умножать на -1. Больше никак?

> V1 = not (a and b and c and d)
> V2 = a and b and c and d

Если еще добавить and false то уже никто ни чему не сможет докопаться
:-)
V1 = not (a and b and c and d and false) V2 = a and b and c and d and false

> Alx2 © (10.09.06 11:15) [18]
Из нуля извлекается. А по той формуле тоже должен был бы
ошибку писать. Если только на этот случай у них if не стоит... :)

> SergP © (10.09.06 11:19) [19]
Тогда уж V1=(a and b and c and d) or true :)

Ненадо нам ни True, ни false=) спасибо всем!

Интересная задачка Найти похожие ветки