Как работать с алгеброй логики в пайтоне именно с логическими выражениями?

Question

Допустим я ввожу логическое выражение (А&В)->(С*D), мне программа должна его упростить(по законам алгебры логики).Как мне их реализовать на ЯП?

Answer 1

Vladimir Toper
(A&B)>>(C*D)

Логические в ЯП:
&
|
>>
<<
~

Answer 2

Благодарю)