Embedding boolean circuits in a neural network

Construct AND, OR, and NOT gates with fixed neural weights, then combine them into circuits that read model activations.