propositional-calculator
索引说明：本页内容为本站爬虫自动索引的第三方平台公开页面元信息，本平台不存储、不缓存任何资源文件。点击下方按钮将跳转至第三方网站平台访问，访问第三方资源链接需要 VIP 权限。
资源简介
propositional-calculator 是一个简单的逻辑代数计算器，可用于计算逻辑表达式的主合取范式（最大项表达式）和主析取范式（最小项表达式）。主合取范式是逻辑表达式中所有可能情况下为真的最大项的合取，而主析取范式是逻辑表达式中所有可能情况下为假的最小项的析取。这个计算器能够将输入的逻辑表达式转换为对应的主合取范式和主析取范式，帮助用户更好地理解和分析逻辑表达式的结构和含义。
- 资源类型
- 软件
- 第三方域名
- github.com
- 索引时间
- 2026-08-04 01:35
开通 VIP 后访问第三方资源
访问第三方资源链接需要 VIP 权限。注册与搜索永久免费，VIP 仅用于访问第三方链接。