1、这个我也记不太清楚，你可以找一本离散数学来看的， 清华大学出版社出版的《数理逻辑与代数结构》中有讲的。

2、我只能帮这些了。