Версия для печати темы

Нажмите сюда для просмотра этой темы в обычном формате

Форум «Всё о Паскале» _ Математика _ Дискретка. Алгебра логиги.

Автор: HelpPliz 2.12.2007 17:03

1) Установить явл. ли формула тавтологией или тождественно ложна:

(А-->(B-->C))-->((A-->B)-->(A-->C)).


вроде это через семантические таблицы или деревья как то делать надо

Автор: Гость 2.12.2007 17:12

уже сам решил...
тавтология получилась