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