From 5edd02da223fc00fc409c8a53b8f3fcc09e9e900 Mon Sep 17 00:00:00 2001
From: pawnwlw <1239048739@qq.com>
Date: Sat, 7 Sep 2019 16:32:35 +0800
Subject: [PATCH 1/2] v1
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
初始结构
---
README.md | 2 +-
css/index.css | 0
html/index.html | 26 +++++++++++++++++++++++---
js/index.js | 0
4 files changed, 24 insertions(+), 4 deletions(-)
create mode 100644 css/index.css
create mode 100644 js/index.js
diff --git a/README.md b/README.md
index 72e46df..8279fda 100644
--- a/README.md
+++ b/README.md
@@ -5,7 +5,7 @@
html:左中右结构
-左:点击添加命题变元和减少命题变元,命题变元个数由参数num存储,命题变元由布尔数组variable存储。(P,Q,R,S,T)
+左:点击添加命题变元和减少命题变元,命题变元个数由参数num存储,命题变元由布尔数组variable存储。(26)
中:上方由用户输入合式公式,点击确定后在下方显示主析取范式和主合取范式
diff --git a/css/index.css b/css/index.css
new file mode 100644
index 0000000..e69de29
diff --git a/html/index.html b/html/index.html
index 1989878..0660241 100644
--- a/html/index.html
+++ b/html/index.html
@@ -1,12 +1,32 @@
-
+
- Document
+ 利用真值表求取主合取范式和主析取范式
+
-
+
+
+
+
+
+
+
\ No newline at end of file
diff --git a/js/index.js b/js/index.js
new file mode 100644
index 0000000..e69de29
From 8e959597ba2f02eca5352e8dfde5073ea7ed0c03 Mon Sep 17 00:00:00 2001
From: pawnwlw <1239048739@qq.com>
Date: Mon, 9 Sep 2019 20:09:21 +0800
Subject: [PATCH 2/2] =?UTF-8?q?v1=20=E6=A1=86=E6=9E=B6?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
---
css/index.css | 11 +++++++++++
html/index.html | 19 ++++++++++++++-----
js/index.js | 23 +++++++++++++++++++++++
3 files changed, 48 insertions(+), 5 deletions(-)
diff --git a/css/index.css b/css/index.css
index e69de29..cf8b0c3 100644
--- a/css/index.css
+++ b/css/index.css
@@ -0,0 +1,11 @@
+*{
+ margin:10px;
+ border:0;
+ box-sizing: border-box;
+ border:1px solid red;
+}
+
+body{
+ display:flex;
+ justify-content: center;
+}
\ No newline at end of file
diff --git a/html/index.html b/html/index.html
index 0660241..ff1305f 100644
--- a/html/index.html
+++ b/html/index.html
@@ -5,7 +5,7 @@
利用真值表求取主合取范式和主析取范式
-
+
@@ -17,16 +17,25 @@
-
有关命题公式的输入
-
结果的输出
+
有关命题公式的输入
+
+
+
确定
+
+
- 这里是运算符
+ - ∨(逻辑或)
+ - ∧(逻辑与)
+ - ¬(非)
+ - →(单条件)
+ - =(双条件)
-
+