This is being done with the help of the Oruzhie automated information retrieval system.
These expressions have application in computer circuit design, information retrieval strategies, and logic problems such as this.
