ru.algorithms

 
 - RU.ALGORITHMS ----------------------------------------------------------------
 From : Alex Malashonok                      2:4635/1024.64 13 Aug 2002  22:54:31
 To : Evgeny Pisarev
 Subject : ЛФ - ДСHФ
 -------------------------------------------------------------------------------- 
 

 
 Вторник Авгyст 13 2002 18:17, Evgeny Pisarev -> All:
 
  EP>  Подскажите, пожалуйста, алгоритм по переводу логического выражения в
  EP> ДСHФ?
 
 как помню, надо построить талицу истинности ЛФ, потом из нее выбрать строки, в
 которых ЛФ истинна, ну а дальше лучше примером, ибо словами - коряво.
 
   a b c d | F          значком "v" отмечены выбранные строки.
   --------+---
   0 0 0 0 | 1   v     сднф будет иметь вид:
   0 0 0 1 | 1   v          _ _ _ _     _ _ _       _ _   _     _   _
   0 0 1 0 | 1   v         (a b c d) | (a b c d) | (a b c d) | (a b c d) |
   0 0 1 1 | 0              _             _ _ _       _   _           _
   0 1 0 0 | 0           | (a b c d) | (a b c d) | (a b c d) | (a b c d)
   0 1 0 1 | 1   v
   0 1 1 0 | 0           знак "|" означает "или"
   0 1 1 1 | 1   v
   1 0 0 0 | 1   v       ИМХО, как расставить отрицания очивидно: см. табл.
   1 0 0 1 | 0           истинности.
   1 0 1 0 | 1   v
   1 0 1 1 | 0
   1 1 0 0 | 0
   1 1 0 1 | 0
   1 1 1 0 | 1   v
   1 1 1 1 | 0
 
 Alex
 
 --- Советую стереть эту строку...
  * Origin: Если это читает девушка моей мечты просьба срочно с (2:4635/1024.64)
 
 

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

Тема:    Автор:    Дата:    ЛФ - ДСHФ   Evgeny Pisarev   13 Aug 2002 18:17:13   ЛФ - ДСHФ   Alex Malashonok   13 Aug 2002 22:54:31   RE: ЛФ - ДСHФ   Anatoly Svishev   14 Aug 2002 02:53:26   Re: ЛФ - ДСHФ   Evgeny Pisarev   14 Aug 2002 17:44:04   Re: ЛФ - ДСHФ   Anatoly Svishev   15 Aug 2002 02:16:29