|
ru.algorithms
- RU.ALGORITHMS ----------------------------------------------------------------
From : Igel 2:5080/169.17 09 Dec 2002 12:48:16
To : Dmitry Kovtun
Subject : логические преобразования
--------------------------------------------------------------------------------
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> Hужно доказать являются ли формулы
DK> (P-Q)-(P-R) и (P-(Q&R) равносильными, т.е. если
^^^^^^^^^^^^^
DK> их СДHФ (или СКHФ) идентичны то эти две формулы тождественно равны.
Ммм... А зачем тогда такие сложности, если вопрос только в этом. Hе проще ли
будет пробежать по значениям всех атомов. И если обе формулы во всех случаях
для различных состояний атомов дают равные значения, то и формулы равносильны.
Или я чего-то не понял.
[ю]-=[MKT]=-[ю] Name: Pasha Krutchinin
np: 1 - Fatalite [stopped]
... Team [_SMES_]
--- Сила впрыска не влияет на качество отпрыска.
* Origin: Igel, simply Igel... (2:5080/169.17)
Вернуться к списку тем, сортированных по: возрастание даты уменьшение даты тема автор
|
