(! iB WU (oW & ! iB)) output W occurs before input B ---------------------------------------- (false R (! (iC & ! iF) | (! oV WU iF))) output V does never occur after input C until input F ---------------------------------------- (! oZ WU iB) output Z does never occur before input B ---------------------------------------- ((false R ! oV) | (true U (oV & (true U oX)))) output X occurs after output V ---------------------------------------- (false R (! oY | (true U oW))) output W responds to output Y ---------------------------------------- (false R ! oX) output X does never occur ---------------------------------------- (false R (! (iE & ! iD) | (! iD U (oZ & ! iD)))) output Z occurs after input E until input D ---------------------------------------- (false R (! (iC & ! oY) | (! oX WU oY))) output X does never occur after input C until output Y ---------------------------------------- (! oW WU (oY & ! oW)) output Y occurs before output W ---------------------------------------- (! iA WU (oX & ! iA)) output X occurs before input A ---------------------------------------- (! oY WU oX) output X precedes output Y ---------------------------------------- (! oZ WU iB) output Z does never occur before input B ---------------------------------------- (! (true U iE) | (! oU U (iD | iE))) input D precedes output U before input E ---------------------------------------- (false R (! (oX & ! oZ) | (! oZ U (oY & ! oZ)))) output Y occurs after output X until output Z ---------------------------------------- (false R (! (oV & ! iA) | (! iA WU (oZ & ! iA)))) output Z occurs between output V and input A ---------------------------------------- (false R (! ((iA & ! oV) & (true U oV)) | (! oU U oV))) output U does never occur between input A and output V ---------------------------------------- (! (true U iD) | (! oV U (oX | iD))) output X precedes output V before input D ---------------------------------------- (false R (! (oZ & ! iE) | (! oU WU iE))) output U does never occur after output Z until input E ---------------------------------------- ((false R ! iC) | (true U (iC & (true U oZ)))) output Z occurs after input C ---------------------------------------- (false R ! oV) output V does never occur ---------------------------------------- (false R (! iD | (true U oY))) output Y responds to input D ---------------------------------------- (false R (! (oY & ! oV) | (! oV U (oX & ! oV)))) output X occurs after output Y until output V ---------------------------------------- (false R (! oZ | (false R ! oW))) output W does never occur after output Z ---------------------------------------- (! iC WU (oW & ! iC)) output W occurs before input C ---------------------------------------- (false R (! oW | (true U oX))) output X responds to output W ---------------------------------------- (! oU WU (oU WU (! oU WU (oU WU (false R ! oU))))) output U occurs at most twice ---------------------------------------- (false R (! ((iE & ! iA) & (true U iA)) | (! oX U iA))) output X does never occur between input E and input A ---------------------------------------- (true U oV) output V occurs eventually ---------------------------------------- (! (true U iE) | ((! oU & ! iE) U (iE | ((oU & ! iE) U (iE | ((! oU & ! iE) U (iE | ((oU & ! iE) U (iE | (! oU U iE)))))))))) output U occurs at most twice before input E ---------------------------------------- (false R (! (iF & ! oY) | (! oZ WU oY))) output Z does never occur after input F until output Y ---------------------------------------- (true U oU) output U occurs eventually ---------------------------------------- (! oV WU iB) output V does never occur before input B ---------------------------------------- (true U oZ) output Z occurs eventually ---------------------------------------- (! (true U oW) | ((! oU & ! oW) U (oW | ((oU & ! oW) U (oW | ((! oU & ! oW) U (oW | ((oU & ! oW) U (oW | (! oU U oW)))))))))) output U occurs at most twice before output W ---------------------------------------- (false R (! ((oW & ! oX) & (true U oX)) | (! oZ U oX))) output Z does never occur between output W and output X ---------------------------------------- (! oX WU (oX WU (! oX WU (oX WU (false R ! oX))))) output X occurs at most twice ---------------------------------------- (! (true U iF) | (! oV U (iA | iF))) input A precedes output V before input F ---------------------------------------- (false R (! (oW & ! iD) | (! iD WU (oX & ! iD)))) output X occurs between output W and input D ---------------------------------------- (false R (! (iD & ! iC) | (! iC WU (oV & ! iC)))) output V occurs between input D and input C ---------------------------------------- (! oZ WU iE) input E precedes output Z ---------------------------------------- (false R (! iA | (true U oY))) output Y responds to input A ---------------------------------------- (false R ! oW) output W does never occur ---------------------------------------- (! oU WU iB) output U does never occur before input B ---------------------------------------- (false R (! iD | (true U oW))) output W responds to input D ---------------------------------------- (false R (! (oV & ! oZ) | (! oZ WU (oX & ! oZ)))) output X occurs between output V and output Z ---------------------------------------- (! (true U oX) | ((! oW & ! oX) U (oX | ((oW & ! oX) U (oX | ((! oW & ! oX) U (oX | ((oW & ! oX) U (oX | (! oW U oX)))))))))) output W occurs at most twice before output X ---------------------------------------- ((false R ! oY) | (true U (oY & (true U oX)))) output X occurs after output Y ---------------------------------------- (false R (! oW | (false R ! oX))) output X does never occur after output W ---------------------------------------- (false R (! (oV & ! oX) | (! oX U (oZ & ! oX)))) output Z occurs after output V until output X ---------------------------------------- (false R (! iA | (false R ! oV))) output V does never occur after input A ---------------------------------------- (false R (! (oY & ! oZ) | (! oZ WU (oU & ! oZ)))) output U occurs between output Y and output Z ---------------------------------------- (! (true U oV) | ((! oZ & ! oV) U (oV | ((oZ & ! oV) U (oV | ((! oZ & ! oV) U (oV | ((oZ & ! oV) U (oV | (! oZ U oV)))))))))) output Z occurs at most twice before output V ---------------------------------------- (! oU WU iA) input A precedes output U ---------------------------------------- (! oV WU (oX & ! oV)) output X occurs before output V ---------------------------------------- (! iE WU (oX & ! iE)) output X occurs before input E ---------------------------------------- ((false R ! iA) | (true U (iA & (true U oU)))) output U occurs after input A ---------------------------------------- (false R (! oY | (false R ! oW))) output W does never occur after output Y ---------------------------------------- (! oW WU oZ) output W does never occur before output Z ---------------------------------------- (! oZ WU iE) input E precedes output Z ---------------------------------------- (true U oV) output V occurs eventually ---------------------------------------- (! (true U oU) | ((! oW & ! oU) U (oU | ((oW & ! oU) U (oU | ((! oW & ! oU) U (oU | ((oW & ! oU) U (oU | (! oW U oU)))))))))) output W occurs at most twice before output U ---------------------------------------- (! (true U iD) | (! oV U (oW | iD))) output W precedes output V before input D ---------------------------------------- (false R (! (oZ & ! iE) | (! iE WU (oV & ! iE)))) output V occurs between output Z and input E ---------------------------------------- (false R (! (oW & ! iC) | (! oX WU iC))) output X does never occur after output W until input C ---------------------------------------- ((false R ! oU) | (true U (oU & (true U oZ)))) output Z occurs after output U ---------------------------------------- (! (true U iD) | (! oW U (iA | iD))) input A precedes output W before input D ---------------------------------------- (! oU WU oY) output U does never occur before output Y ---------------------------------------- (false R (! (oU & ! iD) | (! oY WU iD))) output Y does never occur after output U until input D ---------------------------------------- (! oZ WU iA) output Z does never occur before input A ---------------------------------------- ((false R ! oZ) | (true U (oZ & (true U oU)))) output U occurs after output Z ---------------------------------------- (false R (! (iF & ! iD) | (! iD WU (oU & ! iD)))) output U occurs between input F and input D ---------------------------------------- (false R ! oU) output U does never occur ---------------------------------------- (false R (! (oV & ! oW) | (! oW U (oY & ! oW)))) output Y occurs after output V until output W ---------------------------------------- (false R (! oZ | (false R ! oY))) output Y does never occur after output Z ---------------------------------------- (! (true U oZ) | ((! oW & ! oZ) U (oZ | ((oW & ! oZ) U (oZ | ((! oW & ! oZ) U (oZ | ((oW & ! oZ) U (oZ | (! oW U oZ)))))))))) output W occurs at most twice before output Z ---------------------------------------- (! oU WU oZ) output Z precedes output U ---------------------------------------- (! iB WU (oZ & ! iB)) output Z occurs before input B ---------------------------------------- (false R ! oZ) output Z does never occur ---------------------------------------- (false R (! (iB & ! iC) | (! iC U (oZ & ! iC)))) output Z occurs after input B until input C ---------------------------------------- ((false R ! iE) | (true U (iE & (true U oX)))) output X occurs after input E ---------------------------------------- (false R (! ((iE & ! iB) & (true U iB)) | (! oX U iB))) output X does never occur between input E and input B ---------------------------------------- (false R (! ((iC & ! oW) & (true U oW)) | (! oU U oW))) output U does never occur between input C and output W ---------------------------------------- (false R ! oY) output Y does never occur ---------------------------------------- (! oY WU (oY WU (! oY WU (oY WU (false R ! oY))))) output Y occurs at most twice ---------------------------------------- (false R (! (oV & ! oX) | (! oX U (oZ & ! oX)))) output Z occurs after output V until output X ---------------------------------------- (false R (! (iB & ! oY) | (! oY WU (oV & ! oY)))) output V occurs between input B and output Y ---------------------------------------- (true U oV) output V occurs eventually ---------------------------------------- (false R (! (iD & ! iB) | (! oV WU iB))) output V does never occur after input D until input B ---------------------------------------- (false R (! (iB & ! iC) | (! iC U (oV & ! iC)))) output V occurs after input B until input C ---------------------------------------- (false R ! oY) output Y does never occur ---------------------------------------- (! (true U oY) | (! oZ U (oX | oY))) output X precedes output Z before output Y ---------------------------------------- (false R (! oZ | (true U oW))) output W responds to output Z ---------------------------------------- (! (true U iA) | (! oV U (oU | iA))) output U precedes output V before input A ---------------------------------------- (false R (! ((iD & ! iB) & (true U iB)) | (! oX U iB))) output X does never occur between input D and input B ---------------------------------------- (! oU WU (oY & ! oU)) output Y occurs before output U ---------------------------------------- (! oW WU (oW WU (! oW WU (oW WU (false R ! oW))))) output W occurs at most twice ---------------------------------------- (false R (! (iB & ! iD) | (! iD WU (oW & ! iD)))) output W occurs between input B and input D ---------------------------------------- (false R (! (iC & ! oV) | (! oY WU oV))) output Y does never occur after input C until output V ---------------------------------------- (false R (! (iE & ! oY) | (! oY U (oV & ! oY)))) output V occurs after input E until output Y ---------------------------------------- (true U oU) output U occurs eventually ----------------------------------------