Found on...[edit]
Equations[edit]
/*** INPUT PINS ***/
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;
/*** OUTPUT PINS ***/
PIN 12 = io12;
PIN 13 = io13;
PIN 14 = io14;
PIN 15 = io15;
PIN 16 = io16;
PIN 17 = io17;
PIN 18 = io18;
PIN 19 = io19;
!io19 = (!i1 & !i2 & i3 & i4 & i6 & !i7 & i8)
# (i1 & !i2 & i6 & !i7 & i8 & io16 & io15);
!io18 = (!i1 & !i2 & !i3 & i4 & i6 & !i7 & i8)
# (i1 & !i2 & i6 & !i7 & i8 & io16 & !io15);
!io17 = (!i1 & !i5)
# (i1 & !io14);
!io16 = (!i1 & !i4)
# (i1 & !io16);
!io15 = (!i1 & !i3)
# (i1 & !io15);
!io14 = (!i1 & !i5)
# (i1 & !io14);
!io13 = (!i1 & !i2 & i3 & !i4 & i6 & !i7 & i8)
# (i1 & !i2 & i6 & !i7 & i8 & !io16 & io15);
!io12 = (!i1 & !i2 & !i3 & !i4 & i6 & !i7 & i8)
# (i1 & !i2 & i6 & !i7 & i8 & !io16 & !io15)
# (!i6 & !i7 & !i9)
# (!i8 & !i9);