Question

Известен фрагмент таблицы истинности для логического выражения F, содержащего логические переменные A,B и C Какой из приведённых дали логических выражений соответствует этому фрагменту?
1)A&C v (B-A)
2)(AvB)&(C-A)
3)(A&BvC)&(B-A&C)
___
4)(B-A)v(CvA-B)
5)ни одна из указанных формул ​

Answer 1

1) Логическое выражение (A v С) & В соответствует данному фрагменту таблицы истинности;
2) Логическое выражение (A v В) & (С → А) не соответствует данному фрагменту таблицы истинности, т. к. уже на первом наборе значение рассматриваемого логического выражения не совпадает со значением F. Проведение дальнейших вычислений не имеет смысла;
3) Логическое выражение (А & В v С) & (В → А & С) не соответствует данному фрагменту таблицы истинности;
4) Логическое выражение (А → В) v (С v А → В) соответствует данному фрагменту таблицы истинности.