profile
Опубликовано - 5 месяцев назад | По предмету Информатика | автор рыба17

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

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