|
ru.algorithms- RU.ALGORITHMS ---------------------------------------------------------------- From : Konstantin Osmehin 2:5020/400 21 Jan 2002 09:02:17 To : Konstantin Osmehin Subject : Re: Логика высказываний --------------------------------------------------------------------------------
А что если так:
a->(b xor (not c)), а это равносильно:
a->((not b)&cVb&(not c))
--
Отправлено через сервер Форумы@mail.ru - http://talk.mail.ru
--- ifmail v.2.15dev5
* Origin: Talk.Mail.Ru (2:5020/400)
Вернуться к списку тем, сортированных по: возрастание даты уменьшение даты тема автор
Архивное /ru.algorithms/64884c40af7c.html, оценка из 5, голосов 10
|