1.证明一个重言式。 _Cmmx`ln
~P4C`Q1PT#
2.把一句话用谓词表示并证明。 (!~cOx
?bTfQH
vX
3.证明满足一些条件的一个集合是另一个群的子群。 ?YhDjQs
JzyCeM =
4.9个a,9个b,9个c,排成一个圈,使长度为3的27个字各出现一次。 #lYyL`B+~
q!Du
J
5.证明V-e+r=2,(欧拉公式证明) cG|fau<G
IkrB}
6.一道有限自动机的题,证明下面是有限自动机。 ]z'&oz
KkvcZs'4m
7.旅行家问题,给一个图,求解空间并用回朔写。 <I+k B^ Er
:6n#y-9^1
8.证明下表的数据不是布尔代数。 k[6J;/