2025年4月2日
2025.3.31
摘要： 3.31 ZKY 题单练习 F - AND-OR closure 引用 key：\((a \lor b) \land c= (a\land c) \lor (b\land c)\) 于是先考虑 And-closure，再考虑 Or-closure。 And 能尽可能把二进制位“拆开”，这样 Or 可 阅读全文
posted @ 2025-04-02 21:23 Cindy_Li 阅读(49) 评论(0) 推荐(0)
2025.3.31
摘要： 3.31 ZKY 题单练习 F - AND-OR closure 引用 key：\((a \lor b) \land c= (a\land c) \lor (b\land c)\) 于是先考虑 And-closure，再考虑 Or-closure。 And 能尽可能把二进制位“拆开”，这样 Or 可 阅读全文
posted @ 2025-04-02 15:17 Cindy_Li 阅读(49) 评论(0) 推荐(0)