If I have a double bar (double NOT) above an equation i.e. A + NOT B, do the two bars cancel each out? Surely saying NOT (A NAND B) is the same as saying (A AND B) right? If
