重言式的判断c语言

㈠ 判断复合命题是什么类型重言式、矛盾式、可能式用C语言判断离散数学中复合命

重言式，就是永真命题，比如a或非a;
矛盾式，就是恒假命题，比如a且非a。
可能式，就是存在条件使命题为真。
可以化成集合形式，利用真值表分析。