How to simplify boolean algebra?

Z3Prover / z3

The Z3 Theorem Prover

Other

10.25k stars 1.48k forks source link

Closed gpf233 closed 3 years ago

gpf233 commented 3 years ago

For example, how to get the expected simplification result "x" from the boolean algebra "x y + x !y" ?

nunoplopes commented 3 years ago

(simplify formula)

You can also apply a sequence of tactics and print the result. see more here: https://rise4fun.com/z3/tutorialcontent/strategies (the website is down, but you can see a cached copy here: https://cc.bingj.com/cache.aspx?d=4581171279760638&w=4jKkHDwVJCsjRuR65g5OoMVViEnottas)