src I
src J
src K
or A 2 I0 J0
net N 2 2 I0 J0
[
not A 1 \0
or B 2 \0 \1
net M 1 1 A0
[
not A \0
]
nand C M0 B0
] A0 C0
xor B 2 N0 K
xor C 2 N1 K
and D 2 B0 C0
]