 Дискретка. Алгебра логиги. |
Компиляция правил для данного раздела
1. Заголовок темы должен быть информативным. В противном случае тема закрывается и удаляется ...
2. НЕ используйте форум для личного общения, все что не относится к обсуждению темы - на PM!
3. Одна тема - один вопрос (задача)
4. Спрашивайте и отвечайте четко и по существу!!!
| HelpPliz |
 2.12.2007 13:03
Сообщение
#1
|
|
Гость  |
1) Установить явл. ли формула тавтологией или тождественно ложна:
(А-->(B-->C))-->((A-->B)-->(A-->C)). вроде это через семантические таблицы или деревья как то делать надо |
 
|
|
  |
Ответов(1 - 1)
| Гость |
2.12.2007 13:12
Сообщение
#2
|
|
Гость |
уже сам решил...
тавтология получилась |
|
|
|
|
1 чел. читают эту тему (гостей: 1, скрытых пользователей: 0)
Пользователей: 0
|
Текстовая версия | 26.07.2025 10:46 |