基于三角模的蕴涵分配性方程

基于三角模的蕴涵分配性方程引言：蕴涵分配性方程在数理逻辑中被广泛应用。蕴涵分配性方程即对于三元（或以上）逻辑运算符，它们可以等价交替运用，而不受运算先后顺序的影响。其中最经典的就是基于三角模的蕴涵分配