Skip to content

V1 #1

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
pawncs wants to merge 2 commits into
base: master
Choose a base branch
from
Open

V1 #1

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
5edd02d
v1
pawncs Sep 7, 2019
8e95959
v1 框架
pawncs Sep 9, 2019
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion README.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -5,7 +5,7 @@

html:左中右结构

左：点击添加命题变元和减少命题变元,命题变元个数由参数num存储，命题变元由布尔数组variable存储。（P，Q，R，S，T）
左：点击添加命题变元和减少命题变元,命题变元个数由参数num存储，命题变元由布尔数组variable存储。（26）

中：上方由用户输入合式公式，点击确定后在下方显示主析取范式和主合取范式

Expand Down
11 changes: 11 additions & 0 deletions css/index.css
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,11 @@
*{
margin:10px;
border:0;
box-sizing: border-box;
border:1px solid red;
}

body{
display:flex;
justify-content: center;
}
35 changes: 32 additions & 3 deletions html/index.html
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,12 +1,41 @@
<!DOCTYPE html>
<html lang="en">
<html lang="zh-cmn-Hans">
<head>
<meta charset="UTF-8">
<meta name="viewport" content="width=device-width, initial-scale=1.0">
<meta http-equiv="X-UA-Compatible" content="ie=edge">
<title>Document</title>
<title>利用真值表求取主合取范式和主析取范式</title>
<link rel="stylesheet" href="../css/index.css">
</head>
<body>

<div class="left">

<div class="display">显示命题变元数量</div>
<input type="button" class="button" placeholder="添加命题变元">

<input type="button" class="button" placeholder="减少命题变元">
</div>

<div class="opr">
<div class="top">有关命题公式的输入
<input type="text">
</div>
<div class="bottom">确定</div>
</div>
<div class="display">
<p>显示答案</p>
</div>

<div class="right">
<ul>
<li>∨(逻辑或)</li>
<li>∧(逻辑与)</li>
<li>¬(非)</li>
<li>→(单条件)</li>
<li>=(双条件)</li>
</ul>
</div>
<script src="../js/index.js"></script>
</body>

</html>
23 changes: 23 additions & 0 deletions js/index.js
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,23 @@
let input = "";//输入
let res = "";//输出
let num = 0;
let variable = new boolean[26];
let resultOr ;
let resultAnd;
let isNot = new boolean[26];


let cal = new function(){//监听确定按钮
//清零操作
if(eval(input));// resultOr.add();
else ;//resultAnd.add();
//……打印
}

let addX = new function(){
num++;
//显示……
}

//let deleteX ……