Given the following two statements:

S1: Every table with two single-valued attributes is in 1NF, 2NF, 3NF and BCNF. S2: AB->C, D->E, E->C is a minimal cover for the set of functional dependencies AB->C, D->E, AB->E, E->C.

Which one of the following is CORRECT?

A | S1 is TRUE and S2 is FALSE. |

B | Both S1 and S2 are TRUE. |

C | S1 is FALSE and S2 is TRUE. |

D | Both S1 and S2 are FALSE. |