Expression-number Lookup Table - (A * B) ↔ ((A * C) * (B * C))
收藏NIAID Data Ecosystem2026-05-02 收录
下载链接：
https://doi.org/10.7910/DVN/6KBPLM
下载链接
链接失效反馈官方服务：
资源简介：
This expression-number lookup table is used for propositional logical reasoning. It was generated using the digital calculation method. The table contains 40,000 combinations of the pattern (A * B) ↔ ((A * C) * (B * C)), including 512 true formulas.
创建时间：
2025-02-16
