第283章 破译器，高强度研究

她继续编程，有些函数过于复杂，需要她来简化，这也要费劲一些。

函数关系创建最简形式是化简到无法进一步化简，最简逻辑证明则是假设代入。

那么最终只要证明逻辑成立就好了。

苏苒眸光微亮，...