mirror/gmsm
1
0
Fork 0
mirror of https://github.com/emmansun/gmsm.git synced 2025-05-11 11:36:18 +08:00
Code Issues Packages Projects Releases Wiki Activity

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

Sun Yimin 2023-09-25 17:31:11 +08:00
parent 256ab5ef5a
commit eeec48f1ba
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
SM3中的FF2和GG2函数.md

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