логические преобразования

From

Igel (2:5080/169.17)

To

Dmitry Kovtun

Date

2002-12-09T11:48:16Z

Area

RU.ALGORITHMS

Hallo, Dmitry Kovtun
      Emsi Chatter with Dmitry [Ctrl-Y to Exit]

 03 декабря 2002 14:42 EmsiHandshake Dmitry Kovtun ──> Alex Kozhushko on
subject Re: логические преобразования
 [Some text was corrupted]
 DK> Нужно доказать являются ли формулы
 DK> (P-Q)-(P-R) и (P-(Q&R) равносильными, т.е. если
                            ^^^^^^^^^^^^^
 DK> их СДНФ (или СКНФ) идентичны то эти две формулы тождественно равны.
Ммм... А зачем тогда такие сложности, если вопрос только в этом. Не проще ли
будет пробежать по значениям всех атомов. И если обе формулы во всех случаях
для различных состояний атомов дают равные значения, то и формулы равносильны.
Или я чего-то не понял.

  [■]-=[MKT]=-[■]                             Name: Pasha Krutchinin
  np: 1 - Fatalite [stopped]
... Team [_SMES_]
--- Сила впрыска не влияет на качество отпрыска.
 * Origin: Igel, simply Igel... (2:5080/169.17)