truthmachine
Version:
Browser-based Sentential Logic Calculator
83 lines (74 loc) • 3.62 kB
HTML
<html>
<head>
<title>Truth Machine - Sentential Logic Truth Table Generator</title>
<meta charset="utf-8"/>
<meta http-equiv="X-UA-Compatible" content="IE=edge">
<link href="http://fonts.googleapis.com/css?family=Rokkitt" rel="stylesheet" type="text/css"/>
<link href="css/bootstrap.min.css" rel="stylesheet" type="text/css"/>
<link href="css/style.css" rel="stylesheet" type="text/css"/>
<script type="application/javascript" src="js/jquery-1.10.2.min.js"></script>
<script type="application/javascript" src="js/bootstrap.min.js"></script>
<script type="application/javascript" src="js/truthtable.js"></script>
<script type="application/javascript" src="js/truthmachine.js"></script>
<script type="application/javascript" src="js/sentential-logic.js"></script>
</head>
<body>
<div class="container">
<header>
<h1>TruthMachine</h1>
<h2>Logic Truth Table Generator (Sentential) </h2>
</header>
<div id="main-calculator">
<form class="form-inline" role="form" onsubmit="return false;">
<input id="main-input" type="text" placeholder="e.g. 'p AND NOT p'" class="form-control"/>
<button id="main-go" type="submit" class="btn btn-primary">Generate!</button>
<div id="main-links">
use <code >AND OR NAND NOR XOR NOT</code> ( or
<code title="negation">~</code>,
<code title="disjunction">v</code>,
<code title="conjunction">*</code>,
<code title="implication">></code>
and <code title="equivalence">=</code> to type operators |)
<a data-toggle="collapse" href="#help-collapse">more help</a> <!--|
<a href="#">settings</a>-->
</div>
</form>
</div>
<div id="results">
</div>
<div class="panel panel-default" id="panel-help">
<div class="panel-heading">
<h3 class="panel-title">
<a class="accordion-toggle" data-toggle="collapse" data-parent="#panel-help" href="#help-collapse">Using TruthMachine</a>
</h3>
</div>
<div id="help-collapse" class="panel-collapse collapse">
<div class="panel-body">
<h3>Keyboard Shortcuts</h3>
<p>You can use the following keys to type operators:</p>
<ul class="help-keys">
<li><label>Negation:</label> <span>~</span> or <span>!</span></li>
<li><label>Conjunction:</label> <span>*</span> or <span>.</span></li>
<li><label>Disjunction:</label> <span>v</span> or <span>|</span></li>
<li><label>Implication:</label> <span>></span></li>
<li><label>Equivalence:</label> <span>=</span></li>
</ul>
<h3>Variables</h3>
<p>You can use any alphabetic character (you don't have to use 'p' and 'q'!) as variables</p>
<h3>Parentheses</h3>
<p>You can use any combination of <strong>(rounded)</strong>, <strong>{curly}</strong> or <strong>[square]</strong>
brackets to designate precendence.</p>
</div>
</div>
</div>
<footer>
<p>TruthMachine is © copyright 2013 <a href="http://arr.gr/">Shahar Evron</a>, all rights reserved</p>
<p>
<a href="http://github.com/shevron/truthmachine">source code</a> |
<a href="mailto:truthmachine@arr.gr">feedback</a>
</p>
</footer>
</div>
</body>
</html>