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