这是命令子句测试器，可以使用我们的多个免费在线工作站之一在 OnWorks 免费托管服务提供商中运行，例如 Ubuntu Online、Fedora Online、Windows 在线模拟器或 MAC OS 在线模拟器
程序：
您的姓名
子句测试器 - 检查模型中的公式
概要
条款测试员 <解释文件> <公式文件> >带注释的公式文件>
商品描述
本手册页简要记录了 条款测试员 命令。
这个程序需要一组 解读 和流 公式. 对于每个公式，
给出了公式正确的解释，最后给出了
显示了在每种解释中都为真的公式。
使用 onworks.net 服务在线使用子句测试器
