写了一个根据逻辑表达式生成真值表的网页

[daidr]

初衷

因为最近在学离散第一章，被逻辑表达式折磨 ing ，所以心血来潮想做一个小工具，方便自己对答案进行检验。正好之前就很想了解 antlr ，所以花了小半天的时间糊了一个初版的工具出来。

因为时间不多，做的比较粗略，代码也非常糟糕，之后有时间了会慢慢改进。

功能

支持常用的逻辑符号，画真值表的同时能够给出中间结果。

顺手支持了一下夜间模式

开发相关

界面部分 vue + windicss ，lexer 和 parser 用 antlr 实现

截图

仓库地址： https://github.com/daidr/truth-table

示例地址： https://tb.daidr.me

具体使用说明在仓库的 README 中。

厚颜求个 star （逃

[Monodrama]

不错，star 了

[iyear]

好看，已 star

[yunser]

挺好的，希望能开发出更多类似的工具。试用了一下，发现手机输入逻辑符号不方便，就没继续了，这是个痛点。

[daidr]

@yunser 手机输入法确实会比较麻烦，下一次更新可能会给手机加一个浮窗

[daidr]

@yunser 加了一个用于输入符号的悬浮窗，可以试试

[yunser]

@daidr 挺好的，不过没适配好移动端。

[siweipancc]

这个好，节省心智负担

[daidr]

@yunser 似乎有些手机输入法不会把工具栏顶上来，又改了一版设计😂

[kile]

看到逻辑运算符号发现好多符号都忘记了。。

只记得计算机逻辑运算符了

你可以把说明放到网页上去

[yunser]

@daidr 很完美了，有两个样式的问题。一是输入框 active 时的白色边框没有圆角。二是 iPhoneX 下网站名称换行了。

[daidr]

@yunser safari 的坑还真多= =，好像 outline 在 safari 下没法圆角，我换了一个实现方式

[daidr]

@kile 说明暂时放在了 readme ，网页里边暂时没想好放哪里

[yunser]

写了篇推文 https://mp.weixin.qq.com/s/hrgFNDC1Y5EWB3b6VHA8sg

[daidr]

@yunser 哇哦，感谢推荐。幸好同学用苹果，不然我还真拿 safari 没办法😂