F = A -> BC B -> CE A -> E AC -> H D -> B Step 1) 1) A -> B 2) # A -> C 3) B -> C 4) B -> E 5) # A -> E 6) AC -> H 7) D -> B Step 2) 1) A^+ = {A, C, E, H} | B is not in here, we cannot remove A -> B 2) A^+ = {A, B, C} | we can remove A -> C 3) B^+ = {B, E} | we cannot remove B -> C 4) B^+ = {B, C} | we cannot remove B -> E 5) A^+ = {A, B, C, E} | we can remove A -> E 6) AC^+ = {AC, H} | we can't remove AC -> H 7) D^+ = {D, B} | we can't remove D -> B Step 3) A -> B B -> C B -> E AC -> H D -> B C^+ = {C} A^+ = {A, B, C, E, H} A -> B B -> C B -> E A -> H D -> B = {A -> BH, B -> CE, D -> B}