ЛФ - ДСНФ

From

Alex Malashonok (2:4635/1024.64)

To

Evgeny Pisarev

Date

2002-08-13T22:54:31Z

Area

RU.ALGORITHMS

Привет Evgeny!

Вторник Авгyст 13 2002 18:17, Evgeny Pisarev -> All:

 EP>  Подскажите, пожалуйста, алгоритм по переводу логического выражения в
 EP> ДСНФ?
как помню, надо построить талицу истинности ЛФ, потом из нее выбрать строки, в которых ЛФ истинна, ну а дальше лучше примером, ибо словами - коряво.

  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)