关键词: 计算机应用, 概念设计, 无损简化, 与或功能树

Abstract: Aiming at huge solving space and difficult conflict-orienting for large-scale function
tree in conceptual design, a lossless simplifying method of and/or function tree is proposed. Some
lossless simplifying theorems related to contract, deleting and extracting are proved, and then the
lossless simplifying algorithm of and/or function tree is given based on these theorems. Finally,
experimental results show that the algorithm can effectively reduce complexity holding logic
equivalence and lossless innovative ability, and improve the efficiency of conceptual design.

Key words: computer application, conceptual design, lossless simplifying, and/or function
tree