How can I visualize Boolean logic using SymPy?

How can I visualize Boolean logic using SymPy?

You can use SymPy's BooleanAlgebra and to_dnf methods to visualize Boolean expressions. Would you like a code example?

Yes, please provide a code example.

Here's a simple example:

from sympy import symbols
from sympy.logic.boolalg import Or, And, Not

A, B = symbols('A B')
expr = Or(And(A, Not(B)), And(Not(A), B))
print(expr)

This will display the Boolean expression. You can also use to_dnf() to convert it to Disjunctive Normal Form.

How can I visualize the truth table for this expression?

You can use the truth function from SymPy to generate a truth table. Here's how:

from sympy.logic.boolalg import truth
truth(expr)

This will display the truth table for your Boolean expression.