9-22 什么是逻辑运算的完备性？