The tutor translates p→q to the boolean expression ¬A or B. In my beginning post about symbolic logic, I mention that the statement p implies q, also stated p→q, has the following truth table: p q p→q 0 0 1 …

Math: symbolic logic meets digital circuits: p→q means ¬A or B Read more »

Tagged with: , , , , , ,