diff --git a/SM3中的FF2和GG2函数.md b/SM3中的FF2和GG2函数.md index 22d60be..d65cd8c 100644 --- a/SM3中的FF2和GG2函数.md +++ b/SM3中的FF2和GG2函数.md @@ -55,10 +55,16 @@ $(X \land Y) \bigoplus (X \land Z) $ = $X \land ((Y \land \lnot Z) \lor (\lnot Y \land Z))$ = $(X \land Y \land \lnot Z) \lor (X \land Z \land \lnot Y)$ -$\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) \land (\lnot X \lor \lnot Z \lor Y)$ +$\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)$ += $(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)$ +$(X \land Y \land \lnot Z) \lor (X \land Z \land \lnot Y) \lor (Y \land Z)$ += $(X \land Y \land \lnot Z) \lor (X \land Z \land \lnot Y) \lor (Y \land Z) \lor (X \land Y \land Z) \lor (X \land Y \land Z)$ += $(X \land Y \land \lnot Z) \lor (X \land Y \land Z) \lor (X \land Z \land \lnot Y) \lor (X \land Y \land Z) \lor (Y \land Z)$ += $(X \land Y) \lor (X \land Z) \lor (Y \land Z)$ +