#inputs [A, B, C, D, E] #outputs [X, Y, Z, U, V, W, S, T] #0: output X, output V without output W responds to input A betwen output Y and input E (false R (! (oY & (true U iE)) | ((! iA | (! iE U (((oX & ! iE) & ! oW) & X ((! iE & ! oW) U oV)))) U iE))) #1: output T, output Z precedes output W before input B (! (true U iB) | (! oW U (iB | ((oT & ! oW) & X (! oW U oZ))))) #2: output W precedes output V, output U after input B until input E (false R (! iB | ((! ((oV & ! iE) & X (! iE U (oU & ! iE))) U (iE | oW)) | (false R ! (oV & X (true U oU)))))) #3: output T, output Y responds to input D between input B and output U (false R (! (iB & (true U oU)) | ((! iD | (! oU U ((oT & ! oU) & X (! oU U oY)))) U oU))) #4: output V responds to input B before output Z (! (true U oZ) | ((! iB | (! oZ U (oV & ! oZ))) U oZ)) #5: output W, output X without output V responds to input A after output Y (false R (! oY | (false R (! iA | ((oW & ! oV) & X (! oV U oX)))))) #6: output V, output Z without output U responds to input A betwen output Y and output T (false R (! (oY & (true U oT)) | ((! iA | (! oT U (((oV & ! oT) & ! oU) & X ((! oT & ! oU) U oZ)))) U oT))) #7: output V, output U without output T always responds to input C (false R (! iC | (true U ((oV & ! oT) & X (! oT U oU))))) #8: output W precedes output T after input A ((false R ! iA) | (true U (iA & (! oT WU oW)))) #9: input E, input D precedes output T after output Z until output U (false R (! oZ | (! (true U oT) | (! oT U (oU | ((iE & ! oT) & X (! oT U iD))))))) #10: output Y responds to input B, input D after output Z until input E (false R (! oZ | ((iB & (! X (! iE U iD) | X (! iE U (iD & (true U oY))))) U (iE | (false R (iB & (! X (! iE U iD) | X (! iE U (iD & (true U oY)))))))))) #11: output U responds to input C between output W and output T (false R (! ((oW & ! oT) & (true U oT)) | ((! iC | (! oT U (oU & ! oT))) U oT))) #12: output V responds to input A, input E between output S and output U (false R (! (oS & (true U oU)) | ((iA & (! X (! oU U iE) | X (! oU U (iE & (true U oV))))) U oU))) #13: output Z precedes output V, output W before input D (! (true U iD) | (! ((oV & ! iD) & X (! iD U (oW & ! iD))) U (iD | oZ))) #14: output V, output Z responds to input E before input C (! (true U iC) | ((! iE | (! iC U ((oV & ! iC) & X (! iC U oZ)))) U iC)) #15: input E, output Z precedes output X before output V (! (true U oV) | (! oX U (oV | ((iE & ! oX) & X (! oX U oZ))))) #16: output W responds to input E after input A (false R (! iA | (false R (! iE | (true U oW))))) #17: output S, output U responds to input C before output W (! (true U oW) | ((! iC | (! oW U ((oS & ! oW) & X (! oW U oU)))) U oW)) #18: output Y precedes output T, output S between input E and input D (false R (! (iE & (true U iD)) | (! ((oT & ! iD) & X (! iD U (oS & ! iD))) U (iD | oY)))) #19: output U responds to input C between output X and output S (false R (! ((oX & ! oS) & (true U oS)) | ((! iC | (! oS U (oU & ! oS))) U oS))) #20: input B always precedes output U, output V (! (true U (oU & X (true U oV))) | (! oU U iB)) #21: output V, output Y always responds to input C (false R (! iC | (true U (oV & X (true U oY))))) #22: output T responds to input E, input B between output Y and input A (false R (! (oY & (true U iA)) | ((iE & (! X (! iA U iB) | X (! iA U (iB & (true U oT))))) U iA))) #23: output Y, output X responds to input A before output T (! (true U oT) | ((! iA | (! oT U ((oY & ! oT) & X (! oT U oX)))) U oT)) #24: input B, output X precedes output S between output Y and output W (false R (! (oY & (true U oW)) | (! oS U (oW | ((iB & ! oS) & X (! oS U oX)))))) #25: output T always responds to input B (false R (! iB | (true U oT))) #26: output U precedes output T between input C and input D (false R (! ((iC & ! iD) & (true U iD)) | (! oT U (oU | iD)))) #27: input B, output S precedes output X between output Y and output V (false R (! (oY & (true U oV)) | (! oX U (oV | ((iB & ! oX) & X (! oX U oS)))))) #28: output V, output S without output Y responds to input A betwen output X and output U (false R (! (oX & (true U oU)) | ((! iA | (! oU U (((oV & ! oU) & ! oY) & X ((! oU & ! oY) U oS)))) U oU))) #29: output T, output V responds to input E after output Z (false R (! oZ | (false R (! iE | (oT & X (true U oV)))))) #30: input B precedes output Y, output X after output S until input C (false R (! oS | ((! ((oY & ! iC) & X (! iC U (oX & ! iC))) U (iC | iB)) | (false R ! (oY & X (true U oX)))))) #31: output W, output V without output S responds to input C after output Z (false R (! oZ | (false R (! iC | ((oW & ! oS) & X (! oS U oV)))))) #32: output T responds to input A, input E between input B and input C (false R (! (iB & (true U iC)) | ((iA & (! X (! iC U iE) | X (! iC U (iE & (true U oT))))) U iC))) #33: output X, output S without output U responds to input B betwen output W and input D (false R (! (oW & (true U iD)) | ((! iB | (! iD U (((oX & ! iD) & ! oU) & X ((! iD & ! oU) U oS)))) U iD))) #34: output X responds to input E after output T until input A (false R (oT & (! ! iA | ((! iE | (! iA U (oX & ! iA))) WU iA)))) #35: input C, input A precedes output S between output T and output V (false R (! (oT & (true U oV)) | (! oS U (oV | ((iC & ! oS) & X (! oS U iA)))))) #36: output X, output Y without output U responds to input A after output Z until output V (false R (! oZ | ((! iA | (! oV U (((oX & ! oV) & ! oU) & X ((! oV & ! oU) U oY)))) U (oV | (false R (! iA | ((oX & ! oU) & X (! oU U oY)))))))) #37: output S, output W without output U always responds to input D (false R (! iD | (true U ((oS & ! oU) & X (! oU U oW))))) #38: output Z precedes output X, output T after output Y until input B (false R (! oY | ((! ((oX & ! iB) & X (! iB U (oT & ! iB))) U (iB | oZ)) | (false R ! (oX & X (true U oT)))))) #39: output S always responds to input E (false R (! iE | (true U oS))) #40: output X, output U without output V responds to input E betwen input C and output S (false R (! (iC & (true U oS)) | ((! iE | (! oS U (((oX & ! oS) & ! oV) & X ((! oS & ! oV) U oU)))) U oS))) #41: output Z, output S without output T responds to input C after output W until output Y (false R (! oW | ((! iC | (! oY U (((oZ & ! oY) & ! oT) & X ((! oY & ! oT) U oS)))) U (oY | (false R (! iC | ((oZ & ! oT) & X (! oT U oS)))))))) #42: output V precedes output U between input C and output Z (false R (! ((iC & ! oZ) & (true U oZ)) | (! oU U (oV | oZ)))) #43: output S responds to input D, input E before output Y (! (true U oY) | ((iD & (! X (! oY U iE) | X (! oY U (iE & (true U oS))))) U oY)) #44: output W precedes output Z, output S after output U until input C (false R (! oU | ((! ((oZ & ! iC) & X (! iC U (oS & ! iC))) U (iC | oW)) | (false R ! (oZ & X (true U oS)))))) #45: output W responds to input E between output X and output S (false R (! ((oX & ! oS) & (true U oS)) | ((! iE | (! oS U (oW & ! oS))) U oS))) #46: output U, output V without output Y responds to input E after output W (false R (! oW | (false R (! iE | ((oU & ! oY) & X (! oY U oV)))))) #47: output X responds to input D, input B after output V (false R (! oV | (false R (iD & (! X (true U iB) | X (! iB U (iB & (true U oX)))))))) #48: input B precedes output S after input A ((false R ! iA) | (true U (iA & (! oS WU iB)))) #49: output X always responds to input D (false R (! iD | (true U oX))) #50: input B, output Z precedes output S after input C ((false R ! iC) | (! iC U (iC & (! (true U oS) | (! oS U ((iB & ! oS) & X (! oS U oZ))))))) #51: input B precedes output X, output W between input D and input A (false R (! (iD & (true U iA)) | (! ((oX & ! iA) & X (! iA U (oW & ! iA))) U (iA | iB)))) #52: output T always responds to input E (false R (! iE | (true U oT))) #53: input D precedes output T, output V after input C ((false R ! iC) | (! iC U (iC & (! (true U (oT & X (true U oV))) | (! oT U iD))))) #54: output Z responds to input D, input C after input A until output X (false R (! iA | ((iD & (! X (! oX U iC) | X (! oX U (iC & (true U oZ))))) U (oX | (false R (iD & (! X (! oX U iC) | X (! oX U (iC & (true U oZ)))))))))) #55: input B precedes output V after output W until input E (false R (oW & (! ! iE | (! oV WU (iB | iE))))) #56: input D precedes output X, output V after output W until input E (false R (! oW | ((! ((oX & ! iE) & X (! iE U (oV & ! iE))) U (iE | iD)) | (false R ! (oX & X (true U oV)))))) #57: input D, input A precedes output V before output W (! (true U oW) | (! oV U (oW | ((iD & ! oV) & X (! oV U iA))))) #58: input A precedes output Y, output S after output U until input B (false R (! oU | ((! ((oY & ! iB) & X (! iB U (oS & ! iB))) U (iB | iA)) | (false R ! (oY & X (true U oS)))))) #59: input B, input A precedes output V before output U (! (true U oU) | (! oV U (oU | ((iB & ! oV) & X (! oV U iA))))) #60: output X, output V without output Y always responds to input E (false R (! iE | (true U ((oX & ! oY) & X (! oY U oV))))) #61: input C precedes output Y, output W after output Z ((false R ! oZ) | (! oZ U (oZ & (! (true U (oY & X (true U oW))) | (! oY U iC))))) #62: output X precedes output Y after output T until input D (false R (oT & (! ! iD | (! oY WU (oX | iD))))) #63: output X responds to input D, input E before output W (! (true U oW) | ((iD & (! X (! oW U iE) | X (! oW U (iE & (true U oX))))) U oW)) #64: output Y precedes output X, output S before input A (! (true U iA) | (! ((oX & ! iA) & X (! iA U (oS & ! iA))) U (iA | oY))) #65: output W responds to input D after input B (false R (! iB | (false R (! iD | (true U oW))))) #66: output Z always responds to input D, input A (false R (iD & (! X (true U iA) | X (true U (iA & (true U oZ)))))) #67: output Z responds to input A, input D after input E until output T (false R (! iE | ((iA & (! X (! oT U iD) | X (! oT U (iD & (true U oZ))))) U (oT | (false R (iA & (! X (! oT U iD) | X (! oT U (iD & (true U oZ)))))))))) #68: input A always precedes output Z (! oZ WU iA) #69: input B, output Y precedes output U after input E until output V (false R (! iE | (! (true U oU) | (! oU U (oV | ((iB & ! oU) & X (! oU U oY))))))) #70: output Y precedes output V after output Z until input D (false R (oZ & (! ! iD | (! oV WU (oY | iD))))) #71: output S, output Y without output T responds to input E after output Z until input D (false R (! oZ | ((! iE | (! iD U (((oS & ! iD) & ! oT) & X ((! iD & ! oT) U oY)))) U (iD | (false R (! iE | ((oS & ! oT) & X (! oT U oY)))))))) #72: output S, input C precedes output X before output W (! (true U oW) | (! oX U (oW | ((oS & ! oX) & X (! oX U iC))))) #73: output V responds to input E, input D after input A (false R (! iA | (false R (iE & (! X (true U iD) | X (! iD U (iD & (true U oV)))))))) #74: output U, output W precedes output T after output S until input A (false R (! oS | (! (true U oT) | (! oT U (iA | ((oU & ! oT) & X (! oT U oW))))))) #75: output W responds to input D, input A between output U and output T (false R (! (oU & (true U oT)) | ((iD & (! X (! oT U iA) | X (! oT U (iA & (true U oW))))) U oT))) #76: input E precedes output X before input A (! (true U iA) | (! oX U (iE | iA))) #77: output V, output Z responds to input C after input B until output W (false R (! iB | ((! iC | (! oW U ((oV & ! oW) & X (! oW U oZ)))) U (oW | (false R (! iC | (oV & X (true U oZ)))))))) #78: output W responds to input D after input A (false R (! iA | (false R (! iD | (true U oW))))) #79: output Y responds to input E, input C between input A and output S (false R (! (iA & (true U oS)) | ((iE & (! X (! oS U iC) | X (! oS U (iC & (true U oY))))) U oS))) #80: output Y always precedes output V (! oV WU oY) #81: input B, output X precedes output U before input D (! (true U iD) | (! oU U (iD | ((iB & ! oU) & X (! oU U oX))))) #82: output S, output Y responds to input D after input A until input E (false R (! iA | ((! iD | (! iE U ((oS & ! iE) & X (! iE U oY)))) U (iE | (false R (! iD | (oS & X (true U oY)))))))) #83: output V, output S responds to input E after output T (false R (! oT | (false R (! iE | (oV & X (true U oS)))))) #84: output U precedes output T between output W and input B (false R (! ((oW & ! iB) & (true U iB)) | (! oT U (oU | iB)))) #85: output W, output T without output U always responds to input C (false R (! iC | (true U ((oW & ! oU) & X (! oU U oT))))) #86: input E precedes output X, output S between input B and output Y (false R (! (iB & (true U oY)) | (! ((oX & ! oY) & X (! oY U (oS & ! oY))) U (oY | iE)))) #87: output U, output Y without output Z always responds to input A (false R (! iA | (true U ((oU & ! oZ) & X (! oZ U oY))))) #88: output Z, output Y precedes output T between input B and input C (false R (! (iB & (true U iC)) | (! oT U (iC | ((oZ & ! oT) & X (! oT U oY)))))) #89: output V responds to input A, input B before output X (! (true U oX) | ((iA & (! X (! oX U iB) | X (! oX U (iB & (true U oV))))) U oX)) #90: output U, output X always precedes output Z (! (true U oZ) | (! oZ U ((oU & ! oZ) & X (! oZ U oX)))) #91: output T, output Z always precedes output U (! (true U oU) | (! oU U ((oT & ! oU) & X (! oU U oZ)))) #92: output S, input D precedes output U before input C (! (true U iC) | (! oU U (iC | ((oS & ! oU) & X (! oU U iD))))) #93: output T precedes output W after input E ((false R ! iE) | (true U (iE & (! oW WU oT)))) #94: output Z precedes output U, output W before input A (! (true U iA) | (! ((oU & ! iA) & X (! iA U (oW & ! iA))) U (iA | oZ))) #95: output V, output Y responds to input E before output S (! (true U oS) | ((! iE | (! oS U ((oV & ! oS) & X (! oS U oY)))) U oS)) #96: input D precedes output Z after input B ((false R ! iB) | (true U (iB & (! oZ WU iD)))) #97: input E always precedes output Y, output W (! (true U (oY & X (true U oW))) | (! oY U iE)) #98: output Y responds to input E after output Z (false R (! oZ | (false R (! iE | (true U oY))))) #99: input B precedes output W, output Z after input D until input C (false R (! iD | ((! ((oW & ! iC) & X (! iC U (oZ & ! iC))) U (iC | iB)) | (false R ! (oW & X (true U oZ))))))