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

爱意满满的作品展示区。

This topic created in 1554 days ago, the information mentioned may be changed or developed.

初衷

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

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

功能

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

顺手支持了一下夜间模式

开发相关

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

截图

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

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

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

厚颜求个 star （逃

真值表

antlr

逻辑

仓库

14 replies • 2022-03-08 15:42:28 +08:00

Monodrama

Mar 6, 2022

不错，star 了

iyear

Mar 6, 2022 via Android

好看，已 star

yunser

Mar 6, 2022 via iPhone

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

daidr

PRO

Mar 6, 2022

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

daidr

PRO

Mar 6, 2022

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

yunser

Mar 7, 2022 via iPhone

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

siweipancc

Mar 7, 2022 via iPhone

这个好，节省心智负担

daidr

PRO

Mar 7, 2022

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

kile

Mar 7, 2022

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

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

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

yunser

Mar 7, 2022 via iPhone

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

daidr

PRO

Mar 7, 2022

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

daidr

PRO

Mar 7, 2022

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

yunser

Mar 8, 2022 via iPhone

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

daidr

PRO

Mar 8, 2022

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