1 <-> a|b&c -> a|c <-> c|a <- c&b|a <-> 1
   1  1  00000 1  000  1  000 1  00000  1  1
   1  1  11000 1  110  1  011 1  00011  1  1
   1  1  00100 1  000  1  000 1  00100  1  1
   1  1  11100 1  110  1  011 1  00111  1  1
   1  1  00001 1  011  1  110 1  10000  1  1
   1  1  11001 1  111  1  111 1  10011  1  1
   1  1  01111 1  011  1  110 1  11110  1  1
   1  1  11111 1  111  1  111 1  11111  1  1