用真值表求下列公式的主析取范式。