TruthTableGenerator:为句子逻辑公式生成真值表 源码

真值表生成器 这是一个JavaScript程序,在给定格式正确的真函数逻辑公式的情况下,它将生成真表。 您可以输入多个用逗号分隔的公式,以在一个表中包含多个公式(例如,测试是否必要)。 表格可以以html显示(仅完整表格或仅在主连接符下方的列),纯文本或LaTeX显示。 您还可以选择用于两个真值和连接词的符号。 用于各个连接词输出字符可以通过修改来改变htmlchar() txtchar()和latexchar()函数的开始处truthtable.js 。 该程序的实时版本在。 (c)迈克尔·里普(Michael Rieppel)2010-2020年。 根据MIT许可证发布。 有关更多信