Главная страница
    Top.Mail.Ru    Яндекс.Метрика
Форум: "Прочее";
Текущий архив: 2006.10.01;
Скачать: [xml.tar.bz2];

Вниз

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

 
Колдун ©   (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 ©   (2006-09-10 11:06) [16]

>DprYg ©   (10.09.06 11:03)

А подробнее? "Стандартный" - нет кнопочки с куб. корнем? А для положительных - есть кнопочка?


 
DprYg ©   (2006-09-10 11:09) [17]


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


 
Alx2 ©   (2006-09-10 11:15) [18]

>DprYg ©   (10.09.06 11:09)

А, понял. Они, наверное, через x^(1/y)=exp(ln(x)/y) считают, потому и недопустимость.


 
SergP ©   (2006-09-10 11:19) [19]

> 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


 
DprYg ©   (2006-09-10 11:27) [20]


> 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 :)


 
Колдун ©   (2006-09-12 19:09) [21]

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



Страницы: 1 вся ветка

Форум: "Прочее";
Текущий архив: 2006.10.01;
Скачать: [xml.tar.bz2];

Наверх




Память: 0.49 MB
Время: 0.011 c
2-1157818314
!aLeXa!
2006-09-09 20:11
2006.10.01
Combining signed and unsigned types - widened both operands


2-1157877145
zopa
2006-09-10 12:32
2006.10.01
class / class(TObject)


9-1136202138
hired
2006-01-02 14:42
2006.10.01
вода в GLScene


2-1157967728
Chuk & Gek
2006-09-11 13:42
2006.10.01
Sockets


15-1157017476
Соловьев
2006-08-31 13:44
2006.10.01
Вакансии в Террасофте





Afrikaans Albanian Arabic Armenian Azerbaijani Basque Belarusian Bulgarian Catalan Chinese (Simplified) Chinese (Traditional) Croatian Czech Danish Dutch English Estonian Filipino Finnish French
Galician Georgian German Greek Haitian Creole Hebrew Hindi Hungarian Icelandic Indonesian Irish Italian Japanese Korean Latvian Lithuanian Macedonian Malay Maltese Norwegian
Persian Polish Portuguese Romanian Russian Serbian Slovak Slovenian Spanish Swahili Swedish Thai Turkish Ukrainian Urdu Vietnamese Welsh Yiddish Bengali Bosnian
Cebuano Esperanto Gujarati Hausa Hmong Igbo Javanese Kannada Khmer Lao Latin Maori Marathi Mongolian Nepali Punjabi Somali Tamil Telugu Yoruba
Zulu
Английский Французский Немецкий Итальянский Португальский Русский Испанский