问答题 符号化下述论断，并证明其有效性：如果今天是周一，则要进行离散数学或C语言程序设计两门课中一门课的考试。如果C语言程序设计老师有会。则不考C语言程序设计，今天是周一，C语言程序设计老师有会，所以进行离散数学考试。

问答题 证明4阶群必含2阶元。

问答题 求n位0-1串中相邻两位不出现11的串的个数。