逻辑代数造句