これは、Ubuntu Online、Fedora Online、Windows オンライン エミュレーター、または MAC OS オンライン エミュレーターなどの複数の無料オンライン ワークステーションの XNUMX つを使用して、OnWorks 無料ホスティング プロバイダーで実行できる形式のコマンドです。
プログラム：
NAME
Formed - 一次論理式の式エディター
SYNOPSIS
形成 [オプション]
DESCRIPTION
このマニュアルページでは、 形成
形成 一次を構築、表示、管理するためのウィンドウベースのプログラムです。
論理式。 構築の主な動機 形成 したいという願望でした
数式は読みやすい XNUMX 次元形式で表示されます。 のユーザー 形成 XNUMXつ作ることができます
数式の変換の種類: (1) 論理変換 (否定正規など)
式の意味を保持するフォーム変換、および (2) 変換の編集、
これを使用して、部分式に仮説を追加するなど、任意の変更を加えることができます。
形成 X Window System バージョン 11 と定理からのコードを使用して作成されました
預言者 カワウソ.
OPTIONS
オプションの概要は以下に含まれています。
-l ファイル名
起動時に指定したファイルに数式をロードします。 数式も読み込むことができます
ボタンで起動後 負荷 メインメニューに表示されます。
-f カラー
カラー モニターの前景に名前付きの色を使用します (白黒では無視されます)。
白いモニター)。
-b カラー
カラー モニターの背景に名前付きの色を使用します (白黒では無視されます)。
白いモニター)。
onworks.netサービスを使用してオンラインで形成された使用
