“一旦小写完了实验代码并且运行成功,她就不会延迟提交论文并且周一会给老师看。”以下表示正确的是:
A.
finish( 小,代码)∧work(代码) → delay_submit(小,论文) ∨ give(小,论文,teacher(小))
B.
finish( 小,代码)∧work(代码) ∧ ¬delay_submit(小,论文) ∧ give(小,论文,teacher(小))
C.
finish( 小,代码)∧ work(代码) ∧ ¬delay_submit(小,论文) ∧ give(论文,teacher(小))
D.
finish( 小,代码)∧ work(代码) → ¬delay_submit(小,论文) ∧ give(小,论文,teacher(小))