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

Sun Yimin 2023-09-25 17:33:58 +08:00
parent 73b06c2c92
commit a0e925a1e5

@ -62,5 +62,3 @@ $\lnot((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)) \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) \land (\lnot X \lor \lnot Z \lor Y)) \land (Y \land Z)$
= $(\lnot X \land Y \land Z)$