摘要: 开关綫路的"二値-判断程序"表示法(C.Y.LEE,B.S.T.J.vol.ⅩⅩⅩⅤⅢ,№4,July,1959)(英文)二值-判断程序(binary-decision program)由一組二地址的条件轉移指令組成。本文指出开关綫路与二值-判断程序之間的关系,丼建立一套規則,利用它可以將二値-判断程序轉換成开关綫路。最后証明,在計算开关綫路时,二値-判断程序比一般的布尔代数來得优越。文中举了数个例子,并確定了表示几个变数所需要的指令数目的上下限。布尔函数的絕对最小表示式(S.ABHYANKAR,Trans.IRE,Ec-8,№1,