Отправляет email-рассылки с помощью сервиса Sendsay

[TC] логические задачки

Здравствуйте, industry.

Друзья, подскажите пожалуйста, как можно решать на компьютере
логические задачки. Например, с помощью Excel.

Скажем есть формула:

a&b

Результатом решения должен быть столбец, в котором выводятся значения
истинности или ложности всей формулы при всех вариантах истинного или
ложного значения обеих переменных. В данном примере оно будет
выглядеть примерно так:

a&b
111
100
001
000

Крайние столбцы задают все возможные комбинации истинности и ложности
переменных, а средний - истинности или ложности всей формулы в
зависимости от значений переменных. Именно средний столбец является
решением задачки.

Данный метод называется матричным, именно с его помощью мы решали
подобные задачки на занятиях по логике.

Ответить   Wed, 28 Jun 2006 18:34:22 +0400 (#566450)

 

Ответы:

Здравствуйте, Михаил.

Что-то я не уловил, в каком месте начиналась логическая задачка. То, что вы привели
в качестве примера, это не задачка, а таблица
истинности для логической функции И (AND), которая есть в Excel.
При вставке функции выберите категорию "Логические" и вы получите список функций
для работы с булевой алгеброй.

Успехов. Анатолий.

Ответить   "i_chay" Wed, 28 Jun 2006 21:08:56 +0500 (#566475)

 

Здравствуйте, i_chay.

Вы писали среда 28 июня 2006 г., 20:08:56:

привели

Ну задачка заключалась в том, чтобы установить, являются ли две
логические формулы тождественно истинными, т.е., короче говоря,
взаимозаменяемыми. Я привёл единственный известный мне метод, с
помощью которого можно такую задачу решить.
Формулы следующие:

(a & b) > c

Здесь знак "&" - знак конъюнкции, а ">" - импликации. Намеренно
использую терминологию классической формальной логики.

За подсказку обратиться к логическим функциям excel'я - спасибо.
Пытаюсь пока выразить с помощью его функций данную задачу. Правда,
почему-то при вводе вложенных функций у меня постоянно подвисает
комп... Перегрелся что ли...

Ответить   Wed, 28 Jun 2006 23:45:10 +0400 (#566573)

 

Привет, Михаил!

Вы писали 28 июня 2006 г., 22:45:10:

У меня в свое время функция если больше 6 вложений не срабатывала разбивал её
на несколько ячеек.

Ответить   Fri, 30 Jun 2006 18:51:05 +0300 (#567281)