摘要: 本文讨论用多维体运算的方法求解单输出开关函数覆盖问题的FORT-RAN程序实现方法。文中给出多维体在计算机中的表示及输入、输出方法,蕴涵(?)、相交(∩)和锐积(＃)算符的实现方法及子程序框图,并进而给出用上述算符计算质蕴涵项、求解覆盖问题的整个框图。其特点是函数输入变量数目基本上不受限制,本文讨论假定不超过90个,必要时扩展也很方便。