If: C1 &and C2 &rarr H
then: C1 &and C2 &and H = C1 &and C2
but not: C1 &and C2 = H
Example:
C1 = (A &or B)
C2 = (¬ B &or C)
H = (A &or C)
| C1 = | C2 = | C1 &and C2 | H = | C1 &and C2 &and H | |||
| A | B | C | A &or B | ¬ B &or C | A &or C | ||
| 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 |
| 0 | 0 | 1 | 0 | 1 | 0 | 1 | 0 |
| 0 | 1 | 0 | 1 | 0 | 0 | 0 | 0 |
| 0 | 1 | 1 | 1 | 1 | 1 | 1 | 1 |
| 1 | 0 | 0 | 1 | 1 | 1 | 1 | 1 |
| 1 | 0 | 1 | 1 | 1 | 1 | 1 | 1 |
| 1 | 1 | 0 | 1 | 0 | 0 | 1 | 0 |
| 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 |
When C1 &and C2 is false, it is a ``don't care'' for H.