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

用编程语言设计程序来判断复合命题是什么类型，重言式，矛盾式，可满足式