離散數(shù)學(xué)試卷三(存儲版)
【正文】 ()(( xxQxxPxQxPx ?????? ； B、 )()())()(( xxQxxPxQxPx ?????? ； C、 QxxPQxPx ????? )())(( ； D、 QxxPQxPx ????? )())(( 。并推證其結(jié)論。（ 5 分） 利用主析取范式，求公式 RP ???? )( 的類型。 A、 1； B、 0； C、可滿足式； D、無法判定。 A、 PP ????? ； B、 RRPP ??? )( ； C、 PP ??? )( ； D、 RQPRQP ????? )()( 。 謂詞合式公式 )()( xxQxxP ??? 的前束范式為 。 二、 選擇 25% （每小題 分） 下列語句是命題的有（ ）。 A， B 為二合式公式，且 BA? ，則（ ）。 下列推理步驟錯在（ ）。
公司管理相關(guān)推薦
鄂ICP備17016276號-1