Circuits
Circuit guides
Each guide explains one circuit, what to watch for, and opens it in the app so you can poke the inputs.
01Arithmetic
EasyHalf AdderAdds two 1-bit inputs A and B using an XOR gate for Sum and an AND gate for Carry.
MediumFull AdderAdds three 1-bit inputs (A, B, and Carry-In Cin) using two cascaded XOR stages and carry-lookahead AND/OR gates.
Hard4-Bit ALUComputes 4-bit A + B, A - B, A AND B, or A OR B selected by a 2-bit Opcode feeding a 4-to-1 Multiplexer.
02Plexers
03Sequential
04Combinational
Medium3-Input Majority Voter (K-Map Minimal SOP)Outputs 1 when at least two of (A, B, C) are 1. Minimized via Karnaugh Map to Y = A·B + B·C + A·C.
EasyBus Contention / Short-Circuit DiagnosticDemonstrates how connecting two opposing gate outputs directly onto one wire causes a red Error (E) state that the AI Signal Prover can diagnose.