在MYCIN推理中，对证据的可信度CF(A)、CF(A1)、CF(A2)之间，规定如下关系：CF(~A)=﹣CF(A)，CF(A1∧A2)=min{CF(A1)，CF(A2)}，CF(A1∨A2)=max{CF(A1)，CF(A2)}。()