本文综述知识编译中SDD、DNNF、OBDD等表示语言的研究，证明SDD比OBDD更简洁并解决开放问题；提出CNF转DNNF算法及OBDD转DNNF线性算法；给出SDD指数下界；研究神经网络决策函数编译与鲁棒性验证；提出CCDD新语言及SDD修订算法。