/** 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;
/** Outputs **/
Pin 12 = o12; /**(Combinatorial, Output feedback output, Active low) **/
Pin 13 = o13; /**(Combinatorial, Output feedback output, Active low) **/
Pin 14 = o14; /**(Combinatorial, Output feedback output, Active low) **/
Pin 15 = o15; /**(Combinatorial, No output feedback, Active low) **/
Pin 16 = o16; /**(Combinatorial, No output feedback, Active high) **/
Pin 17 = o17; /**(Combinatorial, Output feedback output, Active high) **/
Pin 18 = o18; /**(Combinatorial, Output feedback output, Active low) **/
Pin 19 = o19; /**(Combinatorial, Output feedback output, Active low) **/
/** Equations **/
!o12 = i1 & i9
# i1 & i11
# i1 & i7 & i8;
!o13 = !i6 & !i7 & i8 & !i9 & !i11;
!o14 = i2 & i6 & !i7 & i8 & !i9 & !i11;
!o15 = !i8 & !i9 & !i11;
o16 = i4 & i8
# !i7 & i8
# i8 & i9
# i8 & i11;
o17 = i3 & i7
# i7 & !i8
# i7 & i9
# i7 & i11;
!o18 = !i1 & i2 & !i8 & !i9 & !i11
# !i1 & i2 & !i6 & !i7 & !i9 & !i11;
!o19 = i1 & i2 & i5
# i1 & i2 & !i6
# i1 & i2 & i7
# i1 & i2 & !i8
# i1 & i2 & i9
# i1 & i2 & i11
# !i2 & i6 & !i7 & i8 & !i9 & !i11
# !i1 & !i5 & i6 & !i7 & i8 & !i9 & !i11;