a) Derive the truth tables for the following: i) (PQ) (-Q-P)T ii) ((P => Q)^-Q) -P b) Use necessary quantifications to represent the following with First Order Logic: i) Someone in the class owns a computer ii) Everyone in university is smart Use function, constant, sentence names as you define.