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