在格蕴涵代数中研究了带蕴涵算子的N元格蕴涵代数不等式,得到其有解的充分必要条件,同时还在b是L交既约元的情况下,找出该不等式的所有极小解,进而给出N元格蕴涵代数不等式的具体解集.
The N-inequality is studied in the lattice implication algebra.The necessary and sufficient conditions for existence of solution for the N-inequality will be presented respectively.In the case,that b has an extract irreducible element,the all minimal elements of solutions and betailed solution sets are given.