求主析取范式时，若析取范式的某一短语H中缺少某一命题变元P，则用公式：（┐Ｐ∨Ｐ）∧H Û H 将命题变元P补进去。