1 2 3 4 5 6 7
{B:I,O} Q->0 & ( Q0->0 & I0...->... & %O...->...0 | Q0->0 & I1...->... & %O...->...1 | Q0->1 & I-> )*