From a961620f23e8a7771eb68c989e09b61dc9ccbc6b Mon Sep 17 00:00:00 2001 From: Sun Yimin Date: Tue, 26 Sep 2023 08:58:52 +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 | 1 - 1 file changed, 1 deletion(-) diff --git a/SM3中的FF2和GG2函数.md b/SM3中的FF2和GG2函数.md index e38f81f..d380400 100644 --- a/SM3中的FF2和GG2函数.md +++ b/SM3中的FF2和GG2函数.md @@ -67,7 +67,6 @@ $\lnot((X \land Y \land \lnot Z) \lor (X \land Z \land \lnot Y)) \land (Y \land (Y \land Z) $ = $(\lnot X \lor ((\lnot X \land \lnot Z) \lor (Z \land \lnot X)) \lor ((\lnot X \land Y) \lor (\lnot X \land \lnot Y)) \lor (\lnot Z \land \lnot Y) \lor (Z \land Y)) \land (Y \land Z) $ = $(\lnot X \lor (\lnot Z \land \lnot Y) \lor (Z \land Y)) \land (Y \land Z)$ -= $(\lnot X \lor 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)$