GAELCO Bang!

Found on...

• Bang!

Equations

Unlocked File

/** 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;

/** Outputs **/
Pin	14 = o14; /**(Combinatorial, Output feedback output, Active low) **/
Pin	15 = o15; /**(Combinatorial, Output feedback output, Active low) **/
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) **/
Pin	19 = o19; /**(Combinatorial, Output feedback output, Active low) **/

/** Equations **/

!o14 = !i1 & !i3 & !i4 & i5 & i6 & !i7 & !i8 & !i9 & i11;

!o15 = !i1 & !i3 & !i4 & i5 & i6 & !i7 & !i8 & !i9 & !i11;

!o16 = !i1 & !i3 & !i4 & i5 & !i6 & !i7 & !i8 & !i9;

!o17 = !i1 & i3 & i4 & i5 & i6 & i7 & i8 & i9 & !i11;

!o18 = !i1 & !i3 & !i4 & !i5 & !i6;

!o19 = !i1 & !i3 & !i4 & !i5 & !i6
     # !i1 & i3 & i4 & i5 & i6 & i7 & i8 & i9 & !i11
     # !i1 & !i3 & i4 & !i5 & i6 & !i7 & !i8 & !i9 & !i11
     # !i1 & !i3 & !i4 & i5 & i6 & !i7 & !i8
     # !i1 & i2 & !i3 & !i4 & i5 & !i6 & !i7 & !i8 & !i9;

Bruteforced File

/** 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;

/** Outputs **/
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 low) **/
Pin	17 = o17; /**(Combinatorial, Output feedback output, Active low) **/
Pin	18 = o18; /**(Combinatorial, Output feedback output, Active low) **/
Pin	19 = o19; /**(Combinatorial, Output feedback output, Active low) **/

/** Equations **/

!o14 = !i1 & !i3 & !i4 & i5 & i6 & !i7 & !i8 & !i9 & i11;

!o15 = !i1 & !i3 & !i4 & i5 & i6 & !i7 & !i8 & !i9 & !i11;

!o16 = !i1 & !i3 & !i4 & i5 & !i6 & !i7 & !i8 & !i9;

!o17 = !i1 & i3 & i4 & i5 & i6 & i7 & i8 & i9 & !i11;

!o18 = !i1 & !i3 & !i4 & !i5 & !i6;

!o19 = !i1 & i3 & i4 & i5 & i6 & i7 & i8 & i9 & !i11
     # !i1 & !i3 & i4 & !i5 & i6 & !i7 & !i8 & !i9 & !i11
     # !i1 & i2 & !i3 & !i4 & i5 & i6 & !i7 & !i8 & i9
     # !i1 & i2 & !i3 & !i4 & i5 & !i7 & !i8 & !i9
     # !i1 & !i2 & !i3 & !i4 & i5 & i6 & !i7 & !i8
     # !i1 & !i3 & !i4 & !i5 & !i6;