blob: b2271c2cad95146bae5d4c4a4c8500628a16d61a (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
|
INPUT a, b, c
OUTPUT s, r
VAR
_l_1, _l_3, _l_4, _l_5, a, b, c, r, s
IN
r = OR _l_3 _l_5
s = XOR _l_1 c
_l_1 = XOR a b
_l_3 = AND a b
_l_4 = XOR a b
_l_5 = AND _l_4 c
|