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

Sun Yimin 2023-09-25 17:27:09 +08:00
parent 7e9a0f4f90
commit 256ab5ef5a

@ -59,3 +59,6 @@ $\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)$
$((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)$