1]原理相关硕士博士期刊学术论文

为设计出能够验证并行排序网络正确性的有效工具，根据[0，1]原理和布尔函数的特点和性质，提出一种布尔表达式的化简算法，并根据此算法设......