Maple has a powerful package for manipulation with logical expressions (Logic package). But it lacks for transfomation a boolean expression to algebraic normal form (ANF). In fact, this transfomation is very simple and implements by applying simple rules
to disjunctive normal form.
I suppose that this can be reached by introducing some custom operators and transfomations, if it is possible in Maple.