diff --git a/SM3中的FF2和GG2函数.md b/SM3中的FF2和GG2函数.md index ca587c4..5804ca2 100644 --- a/SM3中的FF2和GG2函数.md +++ b/SM3中的FF2和GG2函数.md @@ -63,11 +63,13 @@ $\lnot((X \land Y \land \lnot Z) \lor (X \land Z \land \lnot Y)) \land (Y \land = $\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)$ -= $(\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)) \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)) \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)) \land (Y \land Z) $ = $(\lnot X \lor (\lnot Z \land \lnot Y)) \land (Y \land Z)$ = $(\lnot X \lor (Z \lor Y)) \land (Y \land Z)$ = $(\lnot X \lor Z \lor Y) \land (Y \land Z)$ -= $(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)$ = $(X \land Y \land \lnot Z) \lor (X \land Z \land \lnot Y)$