A \/ B = (notA -> B)
_______________________
|  A  | notA   | B |    (notA -> B)    |
------------------------------------
|  1  |    0   | 1 |         1         |
|  1  |    0   | 0 |         1         |
|  0  |    1   | 1 |         1         |
|  0  |    1   | 0 |         0         | 



A /\ B = not (A -> notB)
____________________________________
|  A  | B | notB   | (A -> notB)       |    not (A -> notB)     |
---------------------------------------------------------
|  1  | 1 |    0   |         0         |           1            |
|  1  | 0 |    1   |         1         |           0            |
|  0  | 1 |    0   |         1         |           0            |
|  0  | 0 |    1   |         1         |           0            |