西安电子科技大学$1.3.2永真蕴含式软件学院【例题】证明：-QAP→Q)→P方法一：（真值表法）PP→QQ-Q-QA(P-Q)-QA(P-Q)--P0111010011001110011西安电子科技大学 §1.3.2 永真蕴含式 软件学院