Логический OR для символьных выражений
A | B
or(A,B)
Если вы вызываете simplify
для логического выражения, содержащего символьные подвыражения, можно получить символьные значения TRUE
и FALSE
. Эти значения не являются тем же самым как логическим 1
(true
) и логическим 0
(false
). Чтобы преобразовать символьный TRUE
и FALSE
к логическим значениям, используйте isAlways
.