重言式无成假赋值，因而主析取范式含(n为公式中命题变元的个数)个极小项；主合取范式记为T(或者1)。/ananas/latex/p/1542
举一反三
- 【判断题】重言式无成假赋值,因而主析取范式含 (n为公式中命题变元的个数)个极小项;主合取范式记为T(或者1)
- 矛盾式无成真赋值，因而主析取范式不含任何极小项，其主析取范式记为F(或者0)，而主合取范式含(n为公式中命题变元的个数)个极大项。
- 可满足式的主析取范式就是成真赋值对应小项的析取；主合取范式就是成假赋值对应极大项的合取；且主析取范式中小项m的下标和主合取范式中大项M的下标是互补的
- 利用范式证明下列公式为永真式（证明合取范式的每一个合取项中含有互补文字,或其主析取范式中含有[tex=1.0x1.0]DZx/OFQDLjQ4q8V7+NbAeA==[/tex]个析取项,n是公式中变元的个数).[tex=11.786x1.357]uBq9iSKwfMlL47k6PcZAp/Foi8eR1haQsxXjqDvsLv/dpjAx5vvjq7pdMInUtUlaYA8UBxLDUQESgrThxq7VD0dyT/4KzoRC9yCXbWKV+TJyzZxneTa26BvPkF9umyF0[/tex]
- 一个命题公式有唯一的主范式，且当命题变元的顺序约定以后，主析取范式和主合取范式是唯一确定的