离散数学->2.3联结词的完备集
发布人