多值逻辑函数的数据结构及其简化

摘要

在讨论了一种面向计算机实现的扩展型Allen-Givone代数系统的基础之上,提出一种适合用高级程序设计语言实现的带标志的多值逻辑函数的位置多维体表示形式。然后,给出将任意以积之和形式表示的多值逻辑函数转换为这种数据结构表示的算法。最后,根据经典的多值逻辑函数最小化的标准,给出了将多维体表示逆转换为积之和形式的算法。