Show the results of inserting the keys U,H, S,P,M,L,N, B,R, A,F,T,K,W,Q in order into an empty B-tree with minimum degree 2. Only draw the configurations of the tree just before some node must split, and also draw the final configuration.

Problem 6. Prove the following in ND. 1. ((A V B)→(AVC)) (AV B) A ¬(B+C) 2. (AV B) → (A AB), (BVC) A (BAC) (AA¬C) V (¬A^C)

KB consists of the following sentences: ¬A → B B → A A → (C^ D) Proposition a is ΑΛΒΛC 4.1.1 CNF Convert KB to the conjunctive normal form. Solution: 4.1.2 Resolution Prove or disprove KB =a using resolution. Solution:

Solve for the DNF and CNF of the following: 1. (A ∨ B) → (C ∧ D)