Can you give me examples of Boolean logic using SymPy?

Can you give me examples of Boolean logic using SymPy?

Sure! SymPy provides a module for Boolean algebra. For example, you can define variables like this:

from sympy import symbols
A, B = symbols('A B')

What are some basic operations I can perform with these variables?

You can perform operations like AND, OR, and NOT. For instance:

from sympy import And, Or, Not
expr1 = And(A, B)  # A AND B
expr2 = Or(A, B)   # A OR B
expr3 = Not(A)     # NOT A

How can I simplify a Boolean expression?

You can use the simplify function. For example:

from sympy import simplify
simplified_expr = simplify(expr1)

Can you show me a complete example?

Absolutely! Here's a complete example:

from sympy import symbols, And, Or, Not, simplify
A, B = symbols('A B')
expr = Or(And(A, B), Not(A))
simplified = simplify(expr)
print(simplified)