Design of Decision Diagrams with Increased Functionality of Nodes through Group Theory