重言式的判斷c語言

㈠ 判斷復合命題是什麼類型重言式、矛盾式、可能式用C語言判斷離散數學中復合命

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