Found on...
Equations
/** Inputs **/ Pin 1 = i1; Pin 2 = i2; Pin 3 = i3; Pin 4 = i4; Pin 5 = i5; Pin 6 = i6; Pin 7 = i7; Pin 8 = i8; Pin 9 = i9; Pin 11 = i11; Pin 13 = i13; Pin 14 = i14; Pin 15 = i15; /** Outputs **/ Pin 16 = o16; /**(Combinatorial, Output feedback output, Active low) **/ Pin 17 = o17; /**(Combinatorial, Output feedback output, Active low) **/ Pin 18 = o18; /**(Combinatorial, Output feedback output, Active low) **/ /** Equations **/ !o16 = !i1 & i2 & i4 & i5 & i6 & i7 & i8 & !i9 & !i11 & i13 & i14 & !i15; !o17 = !i1 & i2 & i4 & i5 & i6 & i7 & i8 & !i9 & !i11 & !i13; !o18 = !i1 & i2 & i4 & i5 & i6 & i7 & i8 & !i9 & !i11 & i13 & !i14;