TruthTableGenerator-plus/index.html at master · micalevisk/TruthTableGenerator-plus · GitHub

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
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
<!-- Copyright (c) 2016 Micael Levi L. C.  -->
<!--
Copyright (c) 2015 Michael Rieppel
THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
THE SOFTWARE.
-->

<!DOCTYPE html>
<html lang="pt">
  <head>

    <link rel="icon" type="image/png" href="doc/github.png"/>
    <meta charset="UTF-8">

    <title>Gerador de Tabela Verdade +</title>

    <script src='truthtable.js' type="text/javascript"></script>

    <link href='http://fonts.googleapis.com/css?family=Open+Sans:400,700' rel='stylesheet' type='text/css'>
    <link rel="stylesheet" type="text/css" href="pagestyle.css">

  </head>

  <body>

    <div id='container'>

      <div id="location"><a href='https://github.com/mrieppel/TruthTableGenerator' target = "_blank" title="Código do projeto oficial">projeto original</a></div>
      <div id='githublink'><a href='https://github.com/micalevisk/TruthTableGenerator-plus' target = "_blank"><img src='doc/github.png' alt="Modificado por Micael Levi" title="Código alterado por Micael Levi" style="height:25px;"></a></div>

      <div id='title'>Gerador de Tabela Verdade +</div>

      <table>
        <tr>
          <td> <!-- http://erikasarti.net/html/acentuacao-caracteres-especiais/ -->
            <table class="symbols">
              <tr><td align=center><b>S&iacute;mbolos</b></td></tr>
              <tr><td>Nega&ccedil;&atilde;o</td><td>~</td></tr>
              <tr><td>Conjun&ccedil;&atilde;o</td><td>&amp;</td></tr>
              <tr><td>Disjun&ccedil;&atilde;o</td><td>v</td></tr>
              <tr><td>Condicional</td><td>&gt;</td></tr>
              <tr><td>Bicondicional</td><td>&lt;&gt;</td></tr>
              <tr><td>NAND</td><td>|</td></tr>
              <tr><td>Absurdo</td><td>#</td></tr>
              <tr><td>Deduz que (&#x22A2;)</td></td><td>:</td></tr>
            </table>
          </td>

          <td class='space'></td>

          <td style="vertical-align:top;">
            <table>
              <tr><th style='text-align:left;'>Exemplos:</th></tr>
              <tr><td>~A</td></tr>
              <tr><td>(A &amp; B)</td></tr>
              <tr><td>(# &gt; (B v ~A))</td></tr>
              <tr><td>(A &amp; (~B &gt; C))</td></tr>
              <tr><td>(A &lt;&gt;(BvC)), A, (~B&gt;C)</td></tr>
              <tr><td>A &gt;B, ~B : ~A </td></tr>
            </table>
          </td>

          <td style="vertical-align:top;">
            <input type="text" id="in" size="45" placeholder="fórmulas bem formadas (proposicionais)" onkeypress="checkEnterKey(event)">
          </td>

          <td style="vertical-align:top;">
            <input type="button" value="Gerar Tabela" onclick="construct()"><br><br>
            <input type="radio" name="style" id="main" checked>Tabela Principal<br>
            <input type="radio" name="style" id="full">Tabela Completa<br>
            <input type="radio" name="style" id="text">Tabela Texto<br>
            <input type="radio" name="style" id="latex">Tabela LaTeX<br><br>

            <input type="checkbox" id="exibir_numero_linhas" onchange="changeVisibility_class('numeroLinha', this.checked)" title="exibir número das linhas"/>
              <b>Mostrar Numeração</b><br>

      			<div id="funcoes_argumento" style="visibility: hidden;">
      				<input type="checkbox" id="linhas_criticas" onchange="changeVisibility_class('linhaCriticaIdentificador', this.checked)" title="Se a fórmula passada for um argumento"/>
      				  <b>Linhas Críticas</b><br>

      				<input type="checkbox" id="argumento" onchange="changeVisibility('validade_argumento', this.checked)" title="Se a fórmula passada for um argumento"/>
      				  <b>Verifica se é consequência lógica</b>
      			</div>
          </td>
        </tr>
      </table>

      <br>
      <div id="tt">&nbsp;</div> <!-- tt = table truth -->
      <br>
      <p id="validade_argumento"></p>
    </div>

  </body>

</html>