Composition of Switching Lattices and Autosymmetric Boolean Function Synthesis