kadnikovaliza

05.01.2021 09:15 •  Информатика

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