Lattice implication algebra is an important logical algebra, and it offers a theoretical basis for lattice-valued logic and approximate reasoning.
格蕴涵代数是一种重要的逻辑代数，可为格值逻辑和不确定性推理的研究提供一种理论基础。
参考来源 - 格蕴涵代数中a·2,447,543篇论文数据，部分数据来源于NoteExpress
We gave the lecture on the basis of logical algebra in order to illustrate how the computers operate numerical calculation by means of logical calculation.
我们在讲非计算机专业的计算机文化基础“时，从逻辑代数讲起，阐明计算机是如何用逻辑运算完成数值计算的。”
Pan Boolean algebra-based logical control model of the traffic light is designed in this paper, with an illustration of crossroads in the urban trunk roads.
以泛布尔代数理论为依据，以城市主干道十字路口为研究对象，设计了一种新的交通灯逻辑控制模型。
As algebra way and map way can not simplify the given large scale logical function, a new way using Ant Colony Algorithm to simplify large scale logical function is put forward.
针对代数法和卡诺图法难以化简规模很大的逻辑函数问题，提出使用蚁群算法处理大规模逻辑函数化简。
应用推荐