那个例子写错了一点
应该是
R(ABC) F=(A->B,B->A,A->C)