Lib.rs

› 关键词 #逻辑 #布尔 #查找表 #命题 #计算器 #表达式 #抽象语法树

##真值表

  1. 螺线

    布尔函数实现，表示为查找表（LUT）或积之和（SOP）

    v1.1.5 #查找表 #布尔 #逻辑 #lut #真值表

  2. logic_tracer

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

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

  3. 真值

    生成N个布尔值的所有可能的组合

    v0.1.0 #逻辑 #布尔 #迭代器 #积 #真值表

  4. logical_solver

    基于Rust的逻辑解析器、评估器和真值表构造器！

    v1.0.2 #求解器 #评估器 #解析器 #真值表 #逻辑

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

  5. ##真值表

    从公式生成真值表

    v0.2.0 #数学 #命令行界面 #表格 #真值 #生成 #布尔 #公式