-
Notifications
You must be signed in to change notification settings - Fork 0
/
index.php
66 lines (59 loc) · 2.11 KB
/
index.php
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
<?php
?>
<html>
<head>
<title>Computational Logic Formula Solver</title>
<script src="https://ajax.googleapis.com/ajax/libs/jquery/3.4.1/jquery.min.js" type="text/javascript"></script>
<link rel="stylesheet" href="style.css" type="text/css">
<script src="logic.js" type="text/javascript"></script>
</head>
<body>
<div id="container_title">
<h1>Computational Logic Formula Solver</h1>
</div>
<div id="container_main">
<div id="container_main_sub">
<h2>Enter formula:</h2>
<input id="input_formula" placeholder="Enter your formula here"></input>
<h2 id="button_go">Go</h2>
</div>
<div id="container_buttons">
<table>
<tr>
<th><h4 class="character" name="_and">∧</h4></th>
<th><h4 class="character" name="_or">∨</h4></th>
<th><h4 class="character" name="_not">¬</h4></th>
<th><h4 class="character" name="_open">(</h4></th>
<th><h4 class="character" name="_close">)</h4></th>
<th><h4 class="character" name="_impl">→</h4></th>
</tr>
<tr>
<th><h4 class="character" name="_theorem">⊢</h4></th>
<th><h4 class="character" name="_tautology">⊨</h4></th>
<th><h4 class="character" name="_univ">∀</h4></th>
<th><h4 class="character" name="_exist">∃</h4></th>
<th><h4 class="character" name="_xor">⊕</h4></th>
<th><h4 class="character" name="_leq">↔</h4></th>
</tr>
</table>
</div>
</div>
<div id="container_history">
<h2>History</h2>
<label id="history_clear">Clear</label>
</div>
<div id="container_evaluation">
<h2 id="evaluation_message"></h2>
<h2 class="evaluation_formula"></h2>
</div>
<div id="container_information">
<h2>Details:</h2>
<ul>
<li>This formula is not in a normal form.</li>
<li>Number of variables: <label>x</label></li>
<li>Binary operations: <label>y</label></li>
<li>Unary operations: <label>z</label></li>
</ul>
</div>
</body>
</html>