>>10926265the only way this statement can be false is if the first part [not B and (A implies B))] is true and the second [not A] false. from this we get that A must be true in that case, and B must be false.
however, this makes the formula A implies B false, and therefore the whole first part false , a contradiction since we assumed it was true.
so, the truth table would 1 for all 4 pairs of A and B's truth values.
