單項選擇題在PN推演中,“∨-”規(guī)則指的是()。

A.從A∨B和?B推出A;從A∨B和?A推出B
B.從A∨B推出A;從A∨B推出B
C.從A→B和?A→B推出B
D.從A∨B、A→C和B→C推出C


您可能感興趣的試卷