Question

Выражение F(A,B,C) называется ЛОГИЧЕСКИМ СЛЕДСТВИЕМ из выражения G(A,B,C), если выполняется следующее условие: на тех наборах переменных (A,B,C), где выражение G принимает истинное значение, выражение F также принимает истинное значение. Дано логическое выражение: G(A,B,C)= А and (В → not С). Какие из перечисленных выражений являются логическим следствием из него?
1) F(A,B,C) = А or (not С→ not В)
2) F(A,B,C) = not А or (not С →В)
3) F(A,B,C) = А or (not С→ В)
4) F(A,B,C) = А and (not С → not В)
5) F(A,B,C) = (С → В) → A

Answer 1

Задачу можно решить с помощью составления таблиц истинности.
Решение - в прилагаемом файле.
Ответ:
1) F(A,B,C) = А or (not С→ not В)
3) F(A,B,C) = А or (not С→ В)
5) F(A,B,C) = (С → В) → A