The logical implication between propositions A and B, written as A rarr B is equivalent to not A vv B. (a) Using the truth tables for 'not' and 'or', write down the truth table for 'implies'. [4pts] (b) What can you conclude about ' B ', if you know that ' A ' is True, and 'A B ' is True? [2pts] (c) Suppose you were asked to write down a program in which the robot moves forward if the color detected is green and the touch sensor is released, and stops otherwise. Which logic operations would you use, and what are they operating on? [2pts]