真值表法可以求主合取范式。