This circuit determines if two triangles are congruent given a set of six inputs relating the triangles' side lengths and angle measures.
This circuit determines what theorems in calculus are guaranteed for a function given a set of five inputs.