/** 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 12 = i12;
Pin 13 = i13;
Pin 14 = i14;
Pin 15 = i15;
Pin 16 = i16;
Pin 17 = i17;
/** Outputs **/
Pin 18 = o18; /**(Combinatorial, Output feedback output, Active high) **/
Pin 19 = o19; /**(Combinatorial, Output feedback output, Active low) **/
/** Equations **/
o18 = i1 & !i2
# i1 & i13 & i15 & i16 & i17
# i1 & i8 & i13 & i15 & i16
# i1 & i9 & i13 & i15 & i16
# i1 & i3 & i8 & i13 & i15
# i1 & i3 & i9 & i13 & i15
# i1 & !i6 & i13 & i15 & i16
# i1 & !i7 & i13 & i15 & i16
# i1 & i3 & i4 & i8 & i13 & i16
# i1 & i3 & i4 & i9 & i13 & i16
# i1 & i3 & !i6 & i13 & i15 & i17
# i1 & i3 & i4 & i5 & i8 & i13
# i1 & i3 & i4 & i5 & i9 & i13
# i1 & i3 & !i7 & i13 & i15
# i1 & i3 & i4 & !i6 & !i7 & i13 & i16
# i1 & i3 & i4 & !i7 & i13 & i16 & i17
# i1 & i3 & i4 & i5 & !i6 & !i7 & i13;
!o19 = o18;