真值表生成器
真值表生成器

该页面包含一个JavaScript程序,该程序将根据给定格式的命题函数逻辑公式生成真值表。你可以输入多个用逗号分隔的公式,以便单个表中包含多个公式。表格可以通过html(显示所有值或者只显示主要连接符号的值)、纯文本或LaTex显示。你还可以选择用于真假值和连接词的符号。



真假值符号:
T/F
⊤/⊥
1/0
连接符号:
¬, ∧, ∨, →, ↔
~, &, ∨, →, ↔
~, &, ∨, ⊃, ≡


表格显示类型:
html(所有值)
html(主要连接符号的值)
文本表格
LaTex表格


符号:符号:在输入中使用以下符号表示各种逻辑连接词:

~非/否
&合取/且
v析取/或
>蕴含
< >双向蕴含
#永假(矛盾)
|与非(等价于合取运算的否定)/NAND

以下是程序可以接受的正确格式的一些示例:

本程序基于@Michael Rieppel开源