Updated SM3中的FF2和GG2函数 (markdown)

Sun Yimin 2023-09-25 17:20:19 +08:00
parent 8a35082fe9
commit d8692b0f26

@ -53,4 +53,9 @@ $FF2(X, Y, Z) = (X \land Y) \bigoplus (X \land Z) \bigoplus (Y \land Z)$
$(X \land Y) \bigoplus (X \land Z) $
= $X \land (Y \bigoplus 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)$
= $(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)$