/*
   This implements `circuit1' using the AND-OR method
*/

Switch aa A ZERO;
Not aa A nA;

Switch ba B ZERO;
Not ba B nB;

Switch ca C ZERO;
Not ca C nC;

And bb nA B C O1;
And bb A nB C O2;
And bb A B nC O3;
And bb A B C O4;

Probe bc O1;
Probe bc O2;
Probe bc O3;
Probe bc O4;

Or bd O1 O2 O3 O4 Out;
Probe be Out;
