ru.algorithms

 
 - RU.ALGORITHMS ----------------------------------------------------------------
 From : Sergey Politov                       2:5015/176.18  01 Dec 2001  06:18:12
 To : Alexander Lukichev
 Subject : Re^2:  2 вопроса
 -------------------------------------------------------------------------------- 
 

 
 
  AL> Для начала, перейдем в булев базис (AND, OR, NOT). Импликации (X->Y)
  AL> соответствует выражение:    _                         
  AL>                         X v Y. 
 
 Ты в этом уверен? Составь табличку. Имеем.
            _          _  
  X | Y | XvY | X->Y | XvY
 --------------------------
  0 | 0 |  1  |  1   |  1
  0 | 1 |  0  |  1   |  1
  1 | 0 |  1  |  0   |  0
  1 | 1 |  1  |  1   |  1
 
 ну если у тебя стобцы по прежнему собпадают, тогда ладно, а вообще то X->Y <=> 
 _
 XvY.
 
 Bye ..
                Sergey Politov
 
 --- WP/95 Rus 1.78 Релиз 1  Reg.
  * Origin: Heavy Metal is the Law. (2:5015/176.18)
 
 

Вернуться к списку тем, сортированных по: возрастание даты  уменьшение даты  тема  автор 

Тема:    Автор:    Дата:    2 вопроса   Yury Vashenko   29 Nov 2001 00:46:00   Re: 2 вопроса   Sergey Politov   30 Nov 2001 05:44:28   Re: 2 вопроса   Alexander Lukichev   30 Nov 2001 00:07:49   Re^2: 2 вопроса   Sergey Politov   01 Dec 2001 06:18:12   Re: Re^2: 2 вопроса   Alexander Lukichev   02 Dec 2001 13:03:23   2 вопроса   Yuri Burger   02 Dec 2001 12:07:06