[УМОЛЯЮ!]
Даю [100] баллов!
Эту задачу не надо решать (я восстановил её из памяти как мог). Можете ли вы сказать, что это за тип задач, как решать подобные задачи; или лучше отправить ссылку на подобные задачи или назвать книжку, в которой есть подобное (а то самому мне ничего не удаётся найти)?
Задача:
Логическая функция f(0,z,z) истинна при любых z. f(w, a, x) истинна только если истинны все утверждения: w = 5 - x; a = 2*x.
При каких b функция f(5,0,b) истинна?

Ответ:

Скорее всего, это на Логические связи (тождественную истинность):

Формула является тождественно истинной, если она истинна при любых значениях входящих в неё переменных.

Отрицание тождественно истинной формулы будет, очевидно, тождественно ложной формулой, и обратно.

1) Все аксиомы суть тождественно истинные формулы

2) Применяя к тождественно истинным формулам правила вывода, мы получаем также тождественно истинные формулы.

Отсюда следует, что все выводимые формулы исчисления высказываний, рассматриваемые как формулы алгебры высказываний, являются тождественно истинными.

Не все формулы языка логики высказываний являются тождественно-истинными. Имеются также так называемые тождественно - ложные формулы — формулы, принимающие значение Л (ложь) при любых распределениях значений имеющихся в них пропозициональных переменных (символов). Любая тождественно-ложная формула представляет собой отрицание закона логики. Ясно также, что имеет место и обратное — отрицание тождественно-ложной формулы есть закон логики. Наконец, имеются формулы не тождественно-истинные и не тождественно ложные — такие, которые при одних распределениях значений пропозициональных переменных истинны, а при других -ложны.

Их называют обычно выполнимыми, имея в виду узкий смысл этого термина. В широком смысле выполнимыми — принимающими значение «истина» при каких-нибудь значениях переменных — являются и тождественно-истинные формулы.