设一阶逻辑公式，则与G等价的是（）。
A.B.C.D.
单项选择题公式中，只是约束变元，不是自由变元的是（）。
A.xB.不存在C.yD.z
单项选择题下列逻辑等价式中，不正确的是（）。
单项选择题语句“不撞南墙不回头”（p：撞南墙，q：回头），符号化为（）。
单项选择题有向图邻接矩阵第i列元素之和为vi点的（）。
A.入度B.出度C.度数D.最小度
单项选择题如果G具有k（k≥2）个连通分支的平面图，那么阶数n-边数m+面数r=（）。
A.k+1B.kC.k-1D.2k
，则与G等价的是（）。
