From 4aa13d105413d7ed497afcbe26aff2607d02b04c Mon Sep 17 00:00:00 2001 From: Sun Yimin Date: Tue, 26 Sep 2023 08:16:22 +0800 Subject: [PATCH] =?UTF-8?q?Updated=20SM3=E4=B8=AD=E7=9A=84FF2=E5=92=8CGG2?= =?UTF-8?q?=E5=87=BD=E6=95=B0=20(markdown)?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- SM3中的FF2和GG2函数.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/SM3中的FF2和GG2函数.md b/SM3中的FF2和GG2函数.md index baeff54..aaa7beb 100644 --- a/SM3中的FF2和GG2函数.md +++ b/SM3中的FF2和GG2函数.md @@ -62,6 +62,7 @@ $(X \land Y) \bigoplus (X \land Z) \bigoplus (Y \land Z)$ $\lnot((X \land Y \land \lnot Z) \lor (X \land Z \land \lnot Y)) \land (Y \land Z)$ = $\lnot(X \land Y \land \lnot Z) \land \lnot(X \land Z \land \lnot Y) \land (Y \land Z)$ = $(\lnot X \lor \lnot Y \lor Z) \land (\lnot X \lor \lnot Z \lor Y) \land (Y \land Z)$ += $(\lnot X \lor (\lnot X \land \lnot Z) \lor (\lnot X \land Y) \lor (\lnot X \land \lnot Y) \lor (\lnot Z \land \lnot Y) \lor (Z \land \lnot X) \lor (Z \land Y)) \land (Y \land Z)$ = $(Y \land Z)$ $((X \land Y \land \lnot Z) \lor (X \land Z \land \lnot Y)) \land (\lnot Y \lor \lnot Z)$ @@ -74,4 +75,5 @@ $(X \land Y \land \lnot Z) \lor (X \land Z \land \lnot Y) \lor (Y \land Z)$ 相关知识： * $A \bigoplus B = (\lnot A \land B) \lor (A \land \lnot B) $ +* [Boolean algebra](https://en.wikipedia.org/wiki/Boolean_algebra) * [布尔代数运算律](https://baike.baidu.com/item/%E5%B8%83%E5%B0%94%E4%BB%A3%E6%95%B0%E8%BF%90%E7%AE%97%E5%BE%8B/22804079) \ No newline at end of file