Lib.rs

› 关键字 #逻辑 #命题 #真值表 #计算器 #表达式 #抽象语法树

命题

  1. logic_tracer

    识别逻辑命题并追踪其真值，同时生成真值表（仍在开发中）

    v0.0.10 #计算器 #命题 #真值表 #抽象语法树 #逻辑 #表达式

  2. puan-pv

    具有评估功能的命题逻辑语句

    v0.1.4 #逻辑 #递归 #评估 #逻辑系统 #命题 #命题

  3. propositional_logic

    为复合命题生成真值表

    v0.2.0 #逻辑 #表 #复合 #命题 #真值 #生成 #命题

  4. prop_tune_core

    简化命题语句的工作

    v0.2.0 #语句 #命题 #命题

    5. 尝试使用 DuckDuckGo 进行搜索。

  5. prop_tune_macro

    为 proc_tune 的过程宏 crate

    v0.2.0 #宏 #过程 #命题 #proc-tune #过程宏