KB and S1 are two propositional logic statements, that are constructed using symbols A, B, C, and using various connectives. The above truth table shows, for each combination of values of A, B, C, whether KB and S1 are true or false. Part a: Given the above information, does KB entail S1? Justify your answer. Part b: Given the above information, does statement NOT(KB) entail statement NOT(S1)? Justify your answer.