boolean equations for block sbox