设 < L,≤ > 是一个格，则公式aVb≤b的对偶公式是（）。

无向图G为欧拉图，当且仅当G是连通的，且G中无（）数度顶点。

5阶非同构的树共有（）棵。

一棵高度为5的正则3叉树中叶结点的个数为（）。

用真值表法判定命题公式(pV¬q)→(q⋀r)是否为非重言式的可满足式。

用等值演算法求命题公式(p→q)Λr的主析取范式。

设集合A={1,2,3}上的二元关系R={ < 1,3 > , < 3,2 > , < 2,1 > },写出自反闭包r(R),对称闭包s(R)和传递闭包t(R)的集合表达式。

画出A={2,4,8,12,24}上整除关系的哈斯图，并求B={4,8,12}的极大元、极小元。

设A={1,2,3},R为A×A上的二元关系，∀ < x,y > , < u,v > ∈AxA, < x,y > R < u,v >⇔x+y=u+v(1)证明R为等价关系；(2)求R导出的等价类。

用二叉树表示算术表达式(a*(b+c))÷(g+(h-i)),并给出该树的先序、中序、后序遍历序列。