понедельник, 04 января 2010
20:51

Булевая алгебра...

все записи пользователя в сообществе sanasana
Упростить формулу, используя аксиомы и теоремы булевой алгебры.
Проверьте, пожалуйста, можно ли еще как упростить!
Благодарю!

читать дальше

@темы: Математическая логика

URL
Комментарии
04.01.2010 в 20:54

Trotil
Определенно можно.
URL
04.01.2010 в 21:12

sanasana
Буду чрезмерно благодарна, если подскажите, как ...
URL
04.01.2010 в 21:15

Trotil
Первые два сворачиваются. Ищите соответствующую формулу.
URL
04.01.2010 в 21:22

Robot
Я одна, но всё же я есть. Я не могу сделать всё, но всё же могу сделать что-то. И я не откажусь сделать то немногое, что могу (c)
А когда свернутся, то там можно продолжить еще
формулы
URL
04.01.2010 в 23:46

sanasana
ммм...а сейчас верно?

читать дальше
URL
04.01.2010 в 23:58

Robot
Я одна, но всё же я есть. Я не могу сделать всё, но всё же могу сделать что-то. И я не откажусь сделать то немногое, что могу (c)
Пусть ~ знак отрицания ^ конъюнкция
Обозначьте y v x=p
Чему будет равно
(x ^ ~y) v p
URL
05.01.2010 в 00:23

sanasana
Ага, теперь я поняла, как это делается...должно быть верно...проверьте, пожалуйста!

читать дальше
URL
05.01.2010 в 00:29

Robot
Я одна, но всё же я есть. Я не могу сделать всё, но всё же могу сделать что-то. И я не откажусь сделать то немногое, что могу (c)
да, так
URL
05.01.2010 в 00:37

sanasana
Спасибо огромное!
URL