Expression-number Lookup Table - (A * B) → ((A * C) * (B * C))
收藏NIAID Data Ecosystem2026-05-02 收录
数据链接：
官方服务：
资源简介：
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.
创建时间：
2025-02-16
