离散：

主析取范式和主合取范式的应用：

（1）求公式成真与成假赋值：

化为主析取范式后，下标化为二进制就是成真赋值，不在下标里的就是成假赋值

化为主合取范式后，下标化为二进制就是成假赋值，不在下标里的就是成真赋值

（2）判断公式类型：

A为重言式：一，A的主析取范式含全部2的n次方个极小项

二，A的主合取范式不含任何极大项

A为矛盾式：一，A的主合取范式含全部2的n次方个极大项

二，A的主析取范式不含任何极小项

A为矛盾式：A的主合取范式和主析取范式均不全

（3）判断两个命题是否等值：

求出主析取范式看是否相等

（4）实际应用

（5）由主析取范式求主合取范式：

下标补集

Java：

<<左移一位，相当于乘2

Python

？生成器

？递归汉罗塔

？类型注释

？内省

？functools.reduce(lambda x,y:x*y，range(1，11))

？偏函数类似于闭包

？装饰装饰器的装饰器

？文件操作