1) Установить явл. ли формула тавтологией или тождественно ложна:
(А-->(B-->C))-->((A-->B)-->(A-->C)).
вроде это через семантические таблицы или деревья как то делать надо
![]() |
1. Заголовок темы должен быть информативным. В противном случае тема закрывается и удаляется ...
2. НЕ используйте форум для личного общения, все что не относится к обсуждению темы - на PM!
3. Одна тема - один вопрос (задача)
4. Спрашивайте и отвечайте четко и по существу!!!
![]() |
HelpPliz |
![]()
Сообщение
#1
|
Гость ![]() |
1) Установить явл. ли формула тавтологией или тождественно ложна:
(А-->(B-->C))-->((A-->B)-->(A-->C)). вроде это через семантические таблицы или деревья как то делать надо |
![]() ![]() |
![]() |
Текстовая версия | 1.03.2021 19:56 |