(一)二个逻辑陈述，在同一条件下，或是同真、或是同假、则称为等值陈述。
(二)逻辑运算元、即XNOR，当所有的运算陈述同真或同伪时，其输出方为真，否则为假。
(三)离散数学中，当一个关系函数（relation）具有反称性、对称性、和递移性，则称为全等函数。
(四)二个三角形，根据等边等角的关系，可以决定二个三角形是完全一致。
(五)等值逻辑运算结果为：
nbsp;