[TC] Re[2]: логические задачки
Здравствуйте, i_chay.
Вы писали среда 28 июня 2006 г., 20:08:56:
>> логические задачки. Например, с помощью Excel.
> Что-то я не уловил, в каком месте начиналась логическая задачка. То, что вы
привели
> в качестве примера, это не задачка, а таблица
> истинности для логической функции И (AND), которая есть в Excel.
Ну задачка заключалась в том, чтобы установить, являются ли две
логические формулы тождественно истинными, т.е., короче говоря,
взаимозаменяемыми. Я привёл единственный известный мне метод, с
помощью которого можно такую задачу решить.
Формулы следующие:
a > b > c
(a & b) > c
Здесь знак "&" - знак конъюнкции, а ">" - импликации. Намеренно
использую терминологию классической формальной логики.
За подсказку обратиться к логическим функциям excel'я - спасибо.
Пытаюсь пока выразить с помощью его функций данную задачу. Правда,
почему-то при вводе вложенных функций у меня постоянно подвисает
комп... Перегрелся что ли...
