文件名称：TruthTableGenerator：为句子逻辑公式生成真值表
文件大小：59KB
文件格式：ZIP
更新时间：2024-02-25 08:53:01
javascript latex semantics logic truth-table
真值表生成器 这是一个JavaScript程序，在给定格式正确的真函数逻辑公式的情况下，它将生成真表。 您可以输入多个用逗号分隔的公式，以在一个表中包含多个公式（例如，测试是否必要）。 表格可以以html显示（仅完整表格或仅在主连接符下方的列），纯文本或LaTeX显示。 您还可以选择用于两个真值和连接词的符号。 用于各个连接词输出字符可以通过修改来改变htmlchar() txtchar()和latexchar()函数的开始处truthtable.js 。 该程序的实时版本在。 （c）迈克尔·里普（Michael Rieppel）2010-2020年。 根据MIT许可证发布。 有关更多信
【文件预览】：
TruthTableGenerator-master
----github.png(2KB)
----index.html(6KB)
----LICENSE(1KB)
----truthtable.js(17KB)
----.DS_Store(6KB)
----samples()
--------table.tex(8KB)
--------table.out(0B)
--------table.pdf(20KB)
--------table.log(25KB)
--------table.synctex.gz(21KB)
--------table.aux(576B)
----truthtable.html(6KB)
----README.md(879B)