Помощь
-
Поиск
-
Пользователи
-
Календарь
Полная версия:
Дискретка. Алгебра логиги.
Форум «Всё о Паскале»
>
Образование и наука
>
Математика
HelpPliz
2.12.2007 17:03
1) Установить явл. ли формула тавтологией или тождественно ложна:
(А-->(B-->C))-->((A-->B)-->(A-->C)).
вроде это через семантические таблицы или деревья как то делать надо
Гость
2.12.2007 17:12
уже сам решил...
тавтология получилась
Это текстовая версия — только основной контент. Для просмотра полной версии этой страницы, пожалуйста,
нажмите сюда
.