这是名为 Logic Calculator 的 Windows 应用程序，可通过 Linux 在线在 Windows 中在线运行，其最新版本可以作为 LogicCalculator.jar 下载。 它可以在免费的工作站托管提供商 OnWorks 中在线运行。
下载并在线运行这个名为“逻辑计算器”的应用程序，以便通过 OnWorks 免费在 Windows 中在线运行、在 Linux 中在线运行。
请按照以下说明运行此应用程序：
- 1. 在您的 PC 中下载此应用程序。
- 2. 在我们的文件管理器 https://www.onworks.net/myfiles.php?username=XXXXX 中输入您想要的用户名。
- 3. 在这样的文件管理器中上传这个应用程序。
- 4. 从本网站启动任何 OS OnWorks 在线模拟器，但更好的 Windows 在线模拟器。
- 5. 从您刚刚启动的 OnWorks Windows 操作系统，使用您想要的用户名转到我们的文件管理器 https://www.onworks.net/myfiles.php?username=XXXXX。
- 6. 下载应用程序并安装。
- 7. 从您的 Linux 发行版软件存储库下载 Wine。 安装后，您可以双击该应用程序以使用 Wine 运行它们。 您还可以尝试 PlayOnLinux，这是 Wine 上的一个花哨界面，可帮助您安装流行的 Windows 程序和游戏。
Wine 是一种在 Linux 上运行 Windows 软件的方法，但不需要 Windows。 Wine 是一个开源的 Windows 兼容层，可以直接在任何 Linux 桌面上运行 Windows 程序。 本质上，Wine 试图从头开始重新实现足够多的 Windows，以便它可以运行所有这些 Windows 应用程序，而实际上不需要 Windows。
SCREENSHOTS
Ad
逻辑计算器可在 Windows 中在线运行，在 Linux 中在线运行
商品描述
逻辑计算器是一个用于执行逻辑运算的应用程序。 它有三个模式：
(1) 逻辑公式的评估：在这种模式下，我们有基本的布尔运算（否定、合取、析取、条件和双条件），因此用户可以插入
逻辑公式和逻辑计算器显示真值表以及
公式的模型。
(2) 逻辑蕴涵：在这种模式下，用户可以插入多个
前提后跟许多结论，因此逻辑计算器显示
每个前提/结论的真值表以及是否成立的结果
这些前提在逻辑上包含了给定的结论。
(3) 公式到析取范式 (DNF) 和连接范式 (CNF) 的转换：在这种模式下，用户插入一个逻辑公式和逻辑
计算器在 DNF 和 CNF 中输出其表示。
功能
- 可以用了
- 多
- 基于文本的输入/输出
目的
科学/研究，教育
用户界面
Java秋千
程式语言
爪哇岛
这是一个也可以从 https://sourceforge.net/projects/logiccalculator/ 获取的应用程序。 它已托管在 OnWorks 中，以便从我们的免费操作系统之一以最简单的方式在线运行。
