V2EX = way to explore
V2EX 是一个关于分享和探索的地方
现在注册
已注册用户请  登录
爱意满满的作品展示区。
daidr
V2EX  ›  分享创造

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

  •  
  •   daidr · 2022-03-06 10:44:12 +08:00 · 1967 次点击
    这是一个创建于 753 天前的主题,其中的信息可能已经有所发展或是发生改变。

    初衷

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

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

    功能

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

    顺手支持了一下夜间模式

    开发相关

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

    截图

    1

    2

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

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

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

    厚颜求个 star (逃

    14 条回复    2022-03-08 15:42:28 +08:00
    Monodrama
        1
    Monodrama  
       2022-03-06 11:37:07 +08:00
    不错,star 了
    iyear
        2
    iyear  
       2022-03-06 11:43:49 +08:00 via Android
    好看,已 star
    yunser
        3
    yunser  
       2022-03-06 15:32:53 +08:00 via iPhone
    挺好的,希望能开发出更多类似的工具。试用了一下,发现手机输入逻辑符号不方便,就没继续了,这是个痛点。
    daidr
        4
    daidr  
    OP
       2022-03-06 17:15:01 +08:00
    @yunser 手机输入法确实会比较麻烦,下一次更新可能会给手机加一个浮窗
    daidr
        5
    daidr  
    OP
       2022-03-06 21:22:44 +08:00
    @yunser 加了一个用于输入符号的悬浮窗,可以试试
    yunser
        6
    yunser  
       2022-03-07 00:34:09 +08:00 via iPhone
    @daidr 挺好的,不过没适配好移动端。
    siweipancc
        7
    siweipancc  
       2022-03-07 09:07:11 +08:00 via iPhone
    这个好,节省心智负担
    daidr
        8
    daidr  
    OP
       2022-03-07 12:19:34 +08:00
    @yunser 似乎有些手机输入法不会把工具栏顶上来,又改了一版设计😂
    kile
        9
    kile  
       2022-03-07 14:43:38 +08:00
    看到逻辑运算符号发现好多符号都忘记了。。

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

    你可以把说明放到网页上去
    yunser
        10
    yunser  
       2022-03-07 19:38:41 +08:00 via iPhone
    @daidr 很完美了,有两个样式的问题。一是输入框 active 时的白色边框没有圆角。二是 iPhoneX 下网站名称换行了。
    daidr
        11
    daidr  
    OP
       2022-03-07 21:34:02 +08:00
    @yunser safari 的坑还真多= =,好像 outline 在 safari 下没法圆角,我换了一个实现方式
    daidr
        12
    daidr  
    OP
       2022-03-07 23:19:17 +08:00
    @kile 说明暂时放在了 readme ,网页里边暂时没想好放哪里
    yunser
        13
    yunser  
       2022-03-08 13:30:23 +08:00 via iPhone
    daidr
        14
    daidr  
    OP
       2022-03-08 15:42:28 +08:00
    @yunser 哇哦,感谢推荐。幸好同学用苹果,不然我还真拿 safari 没办法😂
    关于   ·   帮助文档   ·   博客   ·   API   ·   FAQ   ·   我们的愿景   ·   实用小工具   ·   5432 人在线   最高记录 6543   ·     Select Language
    创意工作者们的社区
    World is powered by solitude
    VERSION: 3.9.8.5 · 35ms · UTC 08:41 · PVG 16:41 · LAX 01:41 · JFK 04:41
    Developed with CodeLauncher
    ♥ Do have faith in what you're doing.