boolean_py_algebra_parse_evaluate_and_simplify_expressions.py

1import boolean
2
3# Create a boolean algebra
4algebra = boolean.BooleanAlgebra()
5
6# Parse a boolean expression
7expression = algebra.parse('apple AND (orange OR NOT apple)')
8
9# List the symbols (variables) used in the expression
10print(expression.symbols)
11# Set(Symbol('apple'), Symbol('orange'))
12
13# Evaluate the expression with specific values
14# apple=True, orange=False
15result = expression.subs({algebra.Symbol('apple'): algebra.TRUE, 
16                           algebra.Symbol('orange'): algebra.FALSE})
17print(result)
18# FALSE
19
20# Simplify the expression
21simplified = expression.simplify()
22print(simplified)
23# AND(Symbol('apple'), Symbol('orange'))