Associativity / Commutativity for Boolean operations in SymbolicUtils.jl

there was a discussion about it here: [ANN] SymbolicIntegration.jl - indefinite integration with Symbolics.jl symbols - #8 by CiccioPasticcio

maybe @CiccioPasticcio has any idea?