小张和小李都可以完成这项工作 翻译成命题公式(离散数学)