Question: Do maple have a Boolean simplify?

If input a group of outputs which are binary numbers

can it simplify to give a logic that can output these outputs

Please Wait...