两类布尔函数的OBDD阶

摘要

cqvip:OBDD是布尔函数的一种有效的图形化表示形式。布尔函数的OBDD的阶数对布尔变量的序敏感。本文研究了DNF型和CNF型两种类型布尔函数,给出了这两类函数在一种特定变量序下的OBDD阶的准确值,并证明了这个结论。