考试
1970-01-01 08:00:00

任何谓词公式,都可以化成与其等价的前束范式。而前束范式分为前

题目描述

任何谓词公式,都可以化成与其等价的前束范式。而前束范式分为前束合取范式和前束析取范式。

答案解析

加载中...
AI正在思考中,请稍候...