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