Вопрос по информатике:

2. Выражение 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