Expression-number Lookup Table - (A * B) → ((A * C) * (B * C))
收藏DataCite Commons2025-02-17 更新2025-04-15 收录
下载链接：
https://dataverse.harvard.edu/citation?persistentId=doi:10.7910/DVN/LXEI1R
下载链接
链接失效反馈官方服务：
资源简介：
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 6,944 true formulas.
提供机构：
Harvard Dataverse
创建时间：
2025-02-17
