1. Using truth table prove that: a) ((A O B), B) l--A (where"O" designates the exclusive "or") c) ((A V B),-B) l-A 2. Given KB-{ p (q O r), (p^ q)) and a) Using the inference rules (seen in the lecture and the above a), b), c) as well) to prove that KB|-. r