ON THE ORTHOGONALIZATION OF ARBITRARY BOOLEAN FORMULAE ON THE ORTHOGONALIZATION OF ARBITRARY BOOLEAN FORMULAE