The algorithm of antisymmetric logical variable detection based on the spectral technique(基于谱系数的反对称变量检测算法) nork LIXiaohua(厉晓华)

Testu osoa

A fast algorithm for detecting rotation symmetric logical function with don't-care-terms(检测含无关项旋转对称逻辑函数的快速算法) nork XUFeng(徐锋), LIXiaohua(厉晓华)

Testu osoa

An algorithm for identifying symmetric variables of Boolean function with don't-care-terms(含无关项布尔函数的对称变量检测算法) nork ZHANGYongbo(张永波), LIXiaohua(厉晓华)

Testu osoa

Graphic method of detecting special logic function with arbitrary term(检测含任意项特殊逻辑函数的图形方法) nork LIXiaohua(厉晓华), FANGWeijie(方伟杰)

Testu osoa

The K-map method for calculating c-derivative of Boolean function with don't-care-terms(计算含无关项布尔c-导数的K图方法) nork LIXiaohua(厉晓华), ZHAOJianhua(赵建华)

Testu osoa