How to get Mathematica to make further simplifications to conditional expressions than it has already made?Sep 2015 ⋅ user89-19286 ⋅ se/mathematica ⋅ #simplifying-expressions #symbolic #logic
