Option B is right option
BCNF is stricter than 3NF. A table is BCNF if it is in 3NF and for every FD X->Y, X should be the super key of the table.
Consider a relation R X->Y,
Since R is in 3NF, either
- X is a superkey or
- Y is a member of a key
Since every key in R is simple, Y has only one attribute and Y itself is a key, which implies that X is always a superkey. Therefore, X->Y does not violate BCNF in either case, which implies that R is in BCNF.