Может быть невозможно определить значение A только из B и C в каждом случае.
Мы помним A && B = C
Давайте посмотрим на различные случаи
Если C истинно, A должно быть истинно, потому что в противном случае A && B
не может быть истиной.
Если C ложно и B истинно, A должно быть ложно, потому что в противном случае A && B
не может быть ложным.
Если B и C ложны, A может быть истинным или ложным, вы не можете сказать, потому что независимо от значения A, A && B
всегда ложно.
Итак, вопрос в том, нужен ли вам произвольный A, который удовлетворяет уравнению A && B = C
, или вам нужно «исторически правильное» значение A? Для предыдущего вы можете однозначно решить его для случаев 1 и 2 и выбрать произвольное значение для случая 3. Для последнего вы также можете решить это для случаев 1 и 2, но не для случая 3.
Так что да, ваше окончательное уравнение всегда будет давать A, которое удовлетворяет исходному уравнению. Но это не может быть исторически правильным. Т.е., если изначально все A, B и C ложны, но ваше уравнение C || !B
приведет к значению true для A. Я не знаю ваш сценарий использования, если это считается правильным или нет.