问答题
符号化下述论断，并证明其有效性：如果今天是周一，则要进行离散数学或C语言程序设计两门课中一门课的考试。如果C语言程序设计老师有会。则不考C语言程序设计，今天是周一，C语言程序设计老师有会，所以进行离散数学考试。
问答题 证明4阶群必含2阶元。
问答题 求n位0-1串中相邻两位不出现11的串的个数。
填空题 把n个人分配到A，B，C三室的分配方法有（）种。
