Hello everyone,

I have been trying to use MAPLE 16 for Boolean algebra computations. BooleanSimplify( ) command in Logic-Mathematics is giving me incorrect results, in the following code:

with(Logic):

f:=(not(x1)and not(x2) and not(x3)) or (x1 and x2 and x4);   #Create a 4 variable function f

g:=((x1 and x2) or (x2 and x3)) or (x3 and x4);    #Create another 4 variable function g

f2:=f &or g;

f3:=Canonicalize(f2,{x1,x2,x3,x4},form=DNF...