From b2b32b735f2dd208dea1c0f85ce0f2e1f9a45e8f Mon Sep 17 00:00:00 2001
From: Sun Yimin <emmansun@users.noreply.github.com>
Date: Fri, 22 Sep 2023 15:33:38 +0800
Subject: [PATCH] =?UTF-8?q?Created=20SM3=E4=B8=AD=E7=9A=84FF2=E5=92=8CGG2?=
 =?UTF-8?q?=E5=87=BD=E6=95=B0=20(markdown)?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 SM3中的FF2和GG2函数.md | 23 +++++++++++++++++++++++
 1 file changed, 23 insertions(+)
 create mode 100644 SM3中的FF2和GG2函数.md

diff --git a/SM3中的FF2和GG2函数.md b/SM3中的FF2和GG2函数.md
new file mode 100644
index 0000000..f20534f
--- /dev/null
+++ b/SM3中的FF2和GG2函数.md
@@ -0,0 +1,23 @@
+# 定义
+$FF2(X, Y, Z) = (X \land Y) \lor (X \land Z) \lor (Y \land Z)$  
+$GG2(X, Y, Z) = (X \land Y) \lor (\lnot X \land Z)$
+
+# 等价公式
+$FF2(X, Y, Z) = (X \land Y) \bigoplus (X \land Z) \bigoplus (Y \land Z)$  
+$GG2(X, Y, Z) = (Y \bigoplus Z) \land X \bigoplus Z$
+
+# 验证
+
+|X|Y|Z|$(X \land Y) \lor (X \land Z) \lor (Y \land Z)$ |$(X \land Y) \bigoplus (X \land Z) \bigoplus (Y \land Z)$|$(X \land Y) \lor (\lnot X \land Z)$|$(Y \bigoplus Z) \land X \bigoplus Z$|
+|----|----|----|----|----|----|----|
+|0|0|0|0|0|0|0|
+|0|0|1|0|0|1|1|
+|0|1|0|0|0|0|0|
+|0|1|1|1|1|1|1|
+|1|0|0|0|0|0|0|
+|1|0|1|1|1|0|0|
+|1|1|0|1|1|1|1|
+|1|1|1|1|1|1|1|
+
+# 证明
+TODO
\ No newline at end of file