(Solved) : 1 Using Truth Table Prove O B B L O Designates Exclusive C V B B L 2 Given Kb P Q O R P Q Q32479106 . . .
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. Show transcribed image text
Expert Answer
Answer to 1 Using Truth Table Prove O B B L O Designates Exclusive C V B B L 2 Given Kb P Q O R P Q Q32479106 . . .
OR