A. 可满足式 B. 矛盾式 C. 永真式 D. 以上都有可能
A. 析取范式 B. 合取范式 C. 主合取范式 D. 以上答案都不对
A. 阿文提诺山 B. 卡比托林山 C. 奎利那雷山 D. 埃斯奎利诺山
A. 阿勒曼尼人 B. 巴伐利亚人 C. 勃艮第人 D. 萨克森人
A. 汪达尔人入侵罗马 B. 丕平献土 C. 普瓦提埃战役 D. 克洛维受洗