【单选题】
命题公式(P∧(P→Q))→Q是( )
【多选题】
用等值演算法推导公式“(pù?q) ú (qù?p)”和下面哪个公式等价:
【单选题】
两个指针P和Q,分别指向单链表的两个元素,P所指元素是Q所指元素前驱的条件是( )。
【判断题】
设前提: p ? ?q, r ? q. 结论: r ? ?p. 则推理的形式结构为: (p ? ?q) ù (r ? q) ? (r ? ?p).
【多选题】
设前提: púq, p?r, q?s. 则下面哪些是其有效结论:
【单选题】
设有两个串p和q,其中q是p的子串,q在p中首次出现的位置的算法称为( )。
【多选题】
用等值演算法推导公式“(pùq) ú (pù?q)”和下面哪个公式不等价:
【多选题】
设前提: pù?q ? r, p, q ? s, ?s. 则下面哪些是其有效结论:
【多选题】
公式“(?p?q) ? (?qúp)”的主析取范式中极小项下标有:
【多选题】
设前提: ?púr, ?qús, pùq. 则下面哪些是其有效结论: