离散数学-集合论

全称量词与存在量词 <hr/ <hr/ <hr/ <hr/ <hr/

根据真值表 求 主析取范式 与 主合取范式 求取步骤 1. 化简，去蕴涵联结词； 2. 画直值表，得到成真赋值； 3. 由成真赋值得到主析取范式与主全取范式； Tips 1. 任何复杂命题都是通过简单命题使用联接词联接起来； 2. 任何命题都可以使用直值表来表示； 3. 对于一个命题可以把它写成合取