How can I use SymPy for Boolean logic operations?

How can I use SymPy for Boolean logic operations?

You can use SymPy's Boolean module to perform various Boolean logic operations like AND, OR, and NOT.

Can you show me an example of how to implement a truth table?

Sure! You can use sympy.logic.boolalg to create a truth table. Here's a simple example:

from sympy import symbols
from sympy.logic.boolalg import truth_table

A, B = symbols('A B')
expr = A & B
for vals in truth_table(expr, [A, B]):
    print(vals)

What about simplifying Boolean expressions?

You can simplify Boolean expressions using the simplify_logic function. For example:

from sympy import symbols
from sympy.logic.boolalg import simplify_logic

A, B = symbols('A B')
expr = A | (A & B)
simplified = simplify_logic(expr)
print(simplified)