#logic #map #structure #data #statement #card

logicmap

简单的计算布尔逻辑数据结构

2个版本

0.0.1 2021年3月20日
0.0.0 2021年3月19日

#105 in #statement

MIT 协议

340KB
87

Logicmap

什么是逻辑图?

逻辑图是一种简单的数据结构,总是解析为真或假。在任何时候,你都可以询问“逻辑图解析为真吗?”并获得真/假答案。

./images/Frame_5.png

逻辑图有三个独特的部分;卡片、语句和砖块。

./images/Frame_2_(1).png

逻辑图强制执行不同组件之间的关系。所有语句都有AND关系,所有砖块都有OR关系。

./images/Frame_3_(1).png

./images/Frame_4.png

依赖关系

~4–13MB
~151K SLoC