From 73b06c2c92458922e15b866c04277793262e9d76 Mon Sep 17 00:00:00 2001 From: Sun Yimin Date: Mon, 25 Sep 2023 17:32:32 +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 | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/SM3中的FF2和GG2函数.md b/SM3中的FF2和GG2函数.md index 6e813a7..fd13409 100644 --- a/SM3中的FF2和GG2函数.md +++ b/SM3中的FF2和GG2函数.md @@ -57,10 +57,10 @@ $(X \land Y) \bigoplus (X \land Z) $ $\lnot((X \land Y \land \lnot Z) \lor (X \land Z \land \lnot Y))$ = $\lnot(X \land Y \land \lnot Z) \land \lnot(X \land Z \land \lnot Y)$ -= $(\lnot X \lor \lnot Y \lor Z) \lor (\lnot X \lor \lnot Z \lor Y)$ += $(\lnot X \lor \lnot Y \lor Z) \land (\lnot X \lor \lnot Z \lor Y)$ $((X \land Y \land \lnot Z) \lor (X \land Z \land \lnot Y)) \land (\lnot Y \lor \lnot Z)$ = $(X \land Y \land \lnot Z) \lor (X \land Z \land \lnot Y)$ -$((\lnot X \lor \lnot Y \lor Z) \lor (\lnot X \lor \lnot Z \lor 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 \land Y \land Z)$ \ No newline at end of file