-
Notifications
You must be signed in to change notification settings - Fork 0
/
index.html
43 lines (43 loc) · 1.64 KB
/
index.html
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
<!DOCTYPE html>
<html>
<head>
<title>Stolen Truth Table Tool</title>
<script type="text/javascript" src="js/ast.js"></script>
<script type="text/javascript" src="js/core.js"></script>
<script type="text/javascript" src="js/parser.js"></script>
<script type="text/javascript" src="js/renderer.js"></script>
<script type="text/javascript" src="js/scanner.js"></script>
<script type="text/javascript" src="js/truth-table.js"></script>
<link rel="stylesheet" type="text/css" href="css/style.css" />
<meta name="viewport" content="width=device-width">
</head>
<body onload="startup()">
<main>
<h1 class="title">
S3T
</h1>
<details class="overview">
<summary>Expression entry help</summary>
This tool generates truth tables for propositional logic formulas.
You can enter logical operators in several different formats. For example, the
propositional formula <nobr>p ∧ q → ¬r</nobr> could be written as
<nobr><tt>p /\ q -> ~r</tt></nobr>,
as <nobr><tt>p and q => not r</tt></nobr>, or as <nobr><tt>p && q -> !r</tt></nobr>.
The connectives ⊤ and ⊥ can be entered as <tt>T</tt> and <tt>F</tt>.
</details>
<p>
<input id="expressionInput" type="text" oninput="go();" placeholder="Enter a formula"/>
</p>
<div id="table-target">
<!-- Generated truth tables go here -->
</div>
<div class="permalink">
<a id="permalink"></a>
</div>
<div id="footer">
<a href="https://github.com/atalii/s3t">source code</a>
<a href="https://web.stanford.edu/class/cs103/tools/truth-table-tool/">derived from the original</a>
</div>
</main>
</body>
</html>