1. 研究目的与意义

格的概念起源于August Demorgan和George Boole两人对命题逻辑的逻辑形式化工作中。格在近世代数、摄影几何、点集理论和数学分析上都有着十分重要的作用。到目前为止，它在以下几门学科：半序空间、密码学、运筹学、网络、模糊数学、离散数学、近代解析几何、布尔方法论、抽象代数中的应用也极为广泛。 格具有其他大多数代数都没有的漂亮的结构。通过对其结构的系统分析我们会发现这一特殊的代数可应用到不同的学科，不同的分支。从数学观点来看，数学有序结构、代数结构、拓扑结构三个基本结构，格是一种兼有序和代数的重要结构，它和拓扑学、模糊数学等现代兴起的数学学科有着十分紧密的联系，从格这一概念出现在数学各个方面可以看出，它与数学及其他分支学科都有着非常密切的联系。

2. 国内外研究现状分析

在格的进展方面，1970年，r.mckenzied得出等式长度为300，变量个数34的格等式的定义；1977年，r.padmanabhan得出等式长度为243，变量为7的格等式的定义；1996年，w.mccune，r.padmanabhan得出等式长度为79，变量个数为7的格等式的定义；2001年，r.veroff得出等式长度为77，变量个数为8的格等式的定义；2002年，w.mccune，r.padmanabhan，r.veroff得出等式长度为29，变量个数为8的单一格等式的定义。

但是近代对格等式的研究已经趋于成熟。

目前国内论文主要研究了其他几类格的特殊等价定义，并对其等价定义的形式进行简化和证明。

3. 研究的基本内容与计划

研究内容、方法： 1、独立进行资料的收集、加工与整理，能综合运用所学的理论、知识和技能，进行必要的理论分析。2、分析格的两种定义的由来、理论依据。3、给出格的两种定义。4、举例说明格的两种定义之间的联系。研究方案与时间安排：1、查阅文献，了解研究动态，做开题报告。 2013.03.052013.03.10 2、理论分析，利用所学知识撰写论文初搞。 2013.03.112013.03.313、撰写论文，修改和定搞。 2013.04.012013.04.304、制作 PPT文件，答辩。 2013.05.012013.05.31

4. 研究创新点

从格的发展可知，我们对格的等式定义的研究已经取得了一定的成绩，如今格等式的定义已经比较简单和完美，但是仍然存在改进的空间，本文会在已有的基础上对一些定理定义重新证明。