永真式,永真

用真值表法判定以下公式是否永真式:p∩q→(p←→q)
永真式(tautology):真值都为真; 矛盾式(contradiction):真值都为假
常用永真蕴涵式( 规律:严格条件 放宽条件)
下列命题公式为永真式的是()
离散数学证明永真式