填空题
设A（x），B（x）均为含x自由出现的公式，则公式的类型为（）。
永真式
问答题 给定图G=〈V，E〉，其中V={v1，v2，…vn}，定义G的距离矩阵D是： 对图中的有向图，试用邻接矩阵A求出距离矩阵D。
问答题 问{0，2，4}与+6，{0，2，4}与×6集合及集合上的运算是否构成以上3个代数结构的子代数。
问答题 问{0，3}与+6，{0，3}与×6集合及集合上的运算是否构成以上3个代数结构的子代数。
的类型为（）。