or | i 0 1      and | i 0 1      not |
----+-------    -----+-------    -----+---
  i | i i i        i | i 0 1        i | 0
  0 | i 0 1        0 | 0 0 0        0 | i
  1 | i 1 i        1 | 1 0 0        1 | 1

 or | i 0 1      and | i 0 1      not |
----+-------    -----+-------    -----+---
  i | 0 i 1        i | i i i        i | 1
  0 | i 0 1        0 | i 0 1        0 | 0
  1 | 1 1 1        1 | i 1 0        1 | i

 or | i 0 1      and | i 0 1      not |
----+-------    -----+-------    -----+---
  i | 0 i 1        i | 1 0 i        i | i
  0 | i 0 1        0 | 0 0 0        0 | 1
  1 | 1 1 1        1 | i 0 1        1 | 0

 or | i 0 1      and | i 0 1      not |
----+-------    -----+-------    -----+---
  i | i 0 1        i | i i i        i | 1
  0 | 0 1 1        0 | i i 0        0 | 0
  1 | 1 1 1        1 | i 0 1        1 | i

 or | i 0 1      and | i 0 1      not |
----+-------    -----+-------    -----+---
  i | i 0 1        i | i i i        i | 0
  0 | 0 0 0        0 | i 0 1        0 | i
  1 | 1 0 0        1 | i 1 i        1 | 1

 or | i 0 1      and | i 0 1      not |
----+-------    -----+-------    -----+---
  i | i 0 1        i | i i i        i | 1
  0 | 0 i 1        0 | i 1 0        0 | 0
  1 | 1 1 1        1 | i 0 1        1 | i

 or | i 0 1      and | i 0 1      not |
----+-------    -----+-------    -----+---
  i | i 0 1        i | i 0 1        i | i
  0 | 0 i 1        0 | 0 0 0        0 | 1
  1 | 1 1 1        1 | 1 0 i        1 | 0

 or | i 0 1      and | i 0 1      not |
----+-------    -----+-------    -----+---
  i | i i i        i | i 0 1        i | 1
  0 | i i 0        0 | 0 1 1        0 | 0
  1 | i 0 1        1 | 1 1 1        1 | i

 or | i 0 1      and | i 0 1      not |
----+-------    -----+-------    -----+---
  i | i i i        i | 0 i 1        i | 1
  0 | i 0 1        0 | i 0 1        0 | 0
  1 | i 1 0        1 | 1 1 1        1 | i

 or | i 0 1      and | i 0 1      not |
----+-------    -----+-------    -----+---
  i | i i i        i | i 0 1        i | 0
  0 | i 0 1        0 | 0 0 0        0 | i
  1 | i 1 0        1 | 1 0 i        1 | 1

 or | i 0 1      and | i 0 1      not |
----+-------    -----+-------    -----+---
  i | 1 0 i        i | 0 i 1        i | i
  0 | 0 0 0        0 | i 0 1        0 | 1
  1 | i 0 1        1 | 1 1 1        1 | 0

 or | i 0 1      and | i 0 1      not |
----+-------    -----+-------    -----+---
  i | 1 0 i        i | i i i        i | 0
  0 | 0 0 0        0 | i 1 0        0 | i
  1 | i 0 1        1 | i 0 1        1 | 1

 or | i 0 1      and | i 0 1      not |
----+-------    -----+-------    -----+---
  i | 1 i 1        i | 0 0 i        i | i
  0 | i 0 1        0 | 0 0 0        0 | 1
  1 | 1 1 1        1 | i 0 1        1 | 0

 or | i 0 1      and | i 0 1      not |
----+-------    -----+-------    -----+---
  i | i i i        i | i 0 1        i | 1
  0 | i 1 0        0 | 0 i 1        0 | 0
  1 | i 0 1        1 | 1 1 1        1 | i

 or | i 0 1      and | i 0 1      not |
----+-------    -----+-------    -----+---
  i | i i i        i | 1 0 i        i | 0
  0 | i 1 0        0 | 0 0 0        0 | i
  1 | i 0 1        1 | i 0 1        1 | 1

 or | i 0 1      and | i 0 1      not |
----+-------    -----+-------    -----+---
  i | i 0 1        i | i 0 1        i | i
  0 | 0 0 0        0 | 0 i 1        0 | 1
  1 | 1 0 i        1 | 1 1 1        1 | 0

 or | i 0 1      and | i 0 1      not |
----+-------    -----+-------    -----+---
  i | i 0 1        i | i i i        i | 0
  0 | 0 0 0        0 | i 0 1        0 | i
  1 | 1 0 i        1 | i 1 0        1 | 1

 or | i 0 1      and | i 0 1      not |
----+-------    -----+-------    -----+---
  i | 0 0 i        i | 1 i 1        i | i
  0 | 0 0 0        0 | i 0 1        0 | 1
  1 | i 0 1        1 | 1 1 1        1 | 0

18