これはLogicCalculatorという名前のLinuxアプリで、最新リリースはLogicCalculator.jarとしてダウンロードできます。 ワークステーション用の無料ホスティングプロバイダーOnWorksでオンラインで実行できます。
LogicCalculatorという名前のこのアプリをOnWorksで無料でダウンロードしてオンラインで実行します。
このアプリを実行するには、次の手順に従ってください。
-1。このアプリケーションをPCにダウンロードしました。
--2。ファイルマネージャーhttps://www.onworks.net/myfiles.php?username=XXXXXに必要なユーザー名を入力します。
-3。このアプリケーションをそのようなファイルマネージャにアップロードします。
-4。このWebサイトからOnWorksLinuxオンラインまたはWindowsオンラインエミュレーターまたはMACOSオンラインエミュレーターを起動します。
-5。起動したばかりのOnWorksLinux OSから、必要なユーザー名でファイルマネージャーhttps://www.onworks.net/myfiles.php?username=XXXXXにアクセスします。
-6。アプリケーションをダウンロードし、インストールして実行します。
スクリーンショット：
論理計算機
説明：
Logic Calculatorは、論理演算を実行するのに役立つアプリケーションです。 XNUMXつあります
モード：
（1）論理式の評価：このモードでは、ユーザーが挿入できるように、基本的なブール演算（否定、論理積、論理和、条件付き、および双条件）があります。
論理式と論理計算機は、真理値表を
式のモデル。
（2）論理的帰結：このモードでは、ユーザーはいくつかの
前提に続いていくつかの結論があるため、LogicCalculatorは次のように表示します。
各前提/結論の真理値表とかどうかの結果
これらの前提は、論理的に与えられた結論を伴います。
（3）数式の選言標準形（DNF）および連言標準形（CNF）への変換：このモードでは、ユーザーは論理数式と論理を挿入します。
電卓は、その表現をDNFとCNFの両方で出力します。
特徴
- 使用する準備ができて
- マルチプラットフォーム
- テキストベースの入出力
Audience
科学/研究、教育
ユーザーインターフェース
Java Swing
プログラミング言語
Java
カテゴリー
これは、https：//sourceforge.net/projects/logiccalculator/からも取得できるアプリケーションです。 無料のオペレーティングシステムのXNUMXつから最も簡単な方法でオンラインで実行するために、OnWorksでホストされています。