判断复合命题是什么类型，重言式，矛盾式，可能式

离散数学作业，编写一段代码，不太会，求大佬帮忙