问答题
给定图G=〈V,E〉,其中V={v1,v2,…vn},定义G的距离矩阵D是: 对图中的有向图,试求:按定义求出距离矩阵D。
问答题 结合律:(p∨q)∨rp∨(q∨r),(p∧q)∧rp∧(q∧r)
问答题 将以下公式化成与之等值且仅含{¬,→}中联结词的公式。 (p∧q)r
填空题 设A是含n(n≥1)个命题变项的公式,若A为重言式,则A的主析取范式含()个极小项。