A1) False
B1) False
A2) True
B2) False
A3) True
B3) False (A v B) has two positive literals
A4) True (this is groud resolution)
B4) False (should be, in every world KB is TRUE, A is TRUE)