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