ソフトウェアの提出
  1. ホーム
  2. Windows
  3. 数学と科学ツール
  4. Logic Minimizer

Logic Minimizer 1.2.2

ライセンス: 無料トライアル ‎ファイルサイズ: 7.34 MB
‎ユーザー評価: 4.1/5 - ‎47 ‎投票
ダウンロード

ロジック最小化は、カーノーマップと論理表現を段階的に簡素化するための革新的で汎用性の高いアプリケーションです。エンジニアリング分野、より正確にデジタルおよびフォーマルな論理学者や学者、デジタルデバイスコンストラクタ、または論理的な表現に関わる人を対象としています。強力な最小化機能と本格的な機能により、あらゆる形式のロジック式を操作できます。 機能： ブール値と提案式を最大 24 変数まで最小化 ブール式を SOP、POS、および 10 進表記に変換する カルノーマップ、真実のテーブルと用語のセットで作業 カルノーマップで最小化された用語を強調する 各種ロジックゲートを用いた論理回路の描画 XOR ゲートを使用して単純化されたブール式を最適化 命題式をDNFおよびCNFに変換する 提案式の有効性を見つける すべてのブール演算子と命題演算子をサポート 数式入力に優しい: 入力する前に数式を変換する必要はありません。 ブール式と命題式の段階的な単純化

バージョン履歴

  • バージョン 1.2.2 に転記 2018-04-07
    ウィンドウズ 10 インストーラー
  • バージョン 1.2.1 に転記 2010-01-30
    ウィンドウズ8と互換性があります
  • バージョン 1.0.3 に転記 2008-09-27
    ベリログ互換式の入力と表示をサポート

プログラムの詳細

Eula

EULA - 使用許諾契約書

ロジック最小化1.2.2著作権2008-2018 LogicMinimizer.com。すべての権利予約。 エンドユーザー使用許諾契約 本ソフトウェアはシェアウェアとして配布されます。これはフリーウェアではありません またはパブリックドメイン。シェアウェアは"好きですか?それを購入!"ソフトウェア、それはありません 無料。 この使用許諾契約の条項を読む ドキュメントを使用または配布する前に注意深く、 ソフトウェア、追加資料("ソフトウェア&クォート;)、更新およびアップグレード。 本ソフトウェアは著作権で保護されており、お客様にライセンスを取得(販売しない)、および 本ソフトウェアのインストール、使用、または配布を行い、お持ちの 本使用許諾契約書の条項に同意するものとします。あなたが喜んでいない場合 本使用許諾契約の条項に拘束される場合は、お客様は 本ソフトウェアをインストール、使用、または配布する必要があります。この使用許諾契約は、 お客様とソフトウェア間のソフトウェアに関する全契約 著者、およびそれは、任意の以前の提案、表明、またはに取って代わる 当事者間の理解を得る。 評価期間と登録 機能上の制限があるソフトウェアのシェアウェアコピーを使用することができます。 評価期間は30日までで、かどうか ソフトウェアは、購入前にニーズを満たします。30日間の評価 本ソフトウェアを初めてインストールする時点から開始します。評価の一度 終了期間、お客様は、本ソフトウェアを登録するか、または使用を停止することに同意するものとします。 をクリックして、コンピュータシステムから削除します。各登録料は可能 1 人のユーザーが一度に使用するソフトウェアのコピー 1 つ。 登録の詳細とボリューム割引については、www.logicminimizer.comを参照してください。 著作権の制限 このソフトウェアは、著作権で保護された素材、企業秘密および他の含まれています 独自の材料。あなたは、修正を試みてはならない 本ソフトウェアのリバースエンジニアリング、逆アセンブル、逆コンパイル。また、あなたはできません 派生物またはその派生物を作成する ソフトウェア全体または一部から。 ソフトウェアのシェアウェア・コピーの配布 本ソフトウェアは、オンラインまたは他の電子媒体上で自由に配布される場合があります。 ファイルが何らかの方法で変更されないことを指定します。 法的免責事項 プログラムは、保証なしであなたに提供されます。"は、現在のとおりです。あるんだ プログラムに対する保証は一方で、明示または黙示の しかし、これらに限定されない、商品性の暗黙の保証 特定の目的に対する適合性および第三者の非侵害 権利。の品質とパフォーマンスに関するリスク全体 プログラムはあなたと一緒です。プログラムに欠陥が証明された場合、あなたは すべての必要なサービス、修理または修正のコストを想定しています。 書面で同意しない限り、著者、またはその他のいかなる場合も 上記の許可に沿ってソフトウェアを配布した可能性のある当事者は、責任を負う 一般、特別、付随的、または損害賠償を求める 使用または使用できないことから生じる結果的損害 ソフトウェア(レンダリングされるデータまたはデータの損失を含むがこれらに限定されない) お前または第三者が負った不正確または損失、または 他のプログラムと一緒に動作するソフトウェア)、そのような所有者または他の場合でも 当事者は、このような損害の可能性について助言されています。 権利の留保 著者は、このエンドユーザーに明示的に付与されていないすべての権利を留保します。 使用許諾契約書。 終了 本契約の条件に従わない場合 このライセンスは自動的かつ即時に終了します。に 何らかの理由で本明細書に付与されたこのライセンスの終了、あなたは同意する 直ちに本ソフトウェアの使用を中止し、本ソフトウェアの全コピーを破棄する 本契約に基づき提供されるソフトウェア。

関連プログラム

  • Cheewoo Multi CAM 無料トライアル

    このCAMはもともと3D CNCパイププロファイル切断+ 2D CNCシート切断複合機のために設計されました。CNCパイププロファイル切断NCコードとCNCシート2D切断NCコードの両方をこの1つのプログラムで生成することができます。簡単に切断パスを作るために、3Dパイプ切断と2Dシート切断のための様々な事前定義されたテンプレートカットモデルが含まれています。3Dパイプ切断と2Dシート切断のための切断速度、カーフ幅とテーパーは、異なる切断状況に一

  • TRANSDAT 無料トライアル

    TRANSDATジオソフトウェアは、アメリカ、オーストラレーシア、ヨーロッパ、ドイツ、世界の多くの座標および参照システムの間で座標変換と測地データムシフトを実行します。2. INSPIREはヨーロッパのETRS89システムをサポートしました。3. NAD27 と NAD83 の米国およびカナダの州立平面座標系 (SPCS) と北米大陸の他の座標系。4. オーストラレーシア大陸の座標と参照系。他の大陸の国々の多くの座標と参照系。6. 世界の NTv

  • ESTARD Data Miner 無料トライアル

    Estard Data Minerは、構造化データと非構造化データの両方で隠された関係を発見することができる包括的なデータマイニングアプリケーションです。最新のデータ マイニング技術は、自動データ分析を実行するためにこのデータ マイニング ソフトウェアに組み込まれました。このプログラムは、強力なエンドツーエンドの分析ソリューションです。このデータマイニングソフトウェアは、保険業界、銀行業務、財務(問題のあるビジネスプロセスの決定と改善など)、マー

  • PowerStar 無料トライアル

    非常に多目的で使いやすいPowerStarは、ほとんどの電気設計および分析アプリケーションで使用するために設計されました。商業建築サービス、産業プラント、配電システム、力率補正に使用します。回路のあらゆる部分で電圧、電流、kw、kva、kvarを知る必要があるプロジェクト。回路計算、特にラインからニュートラルへの組み合わせ、ラインからラインへのライン、およびアンバランスな3相計算、および変圧器が関与するデルタ電流と電圧変換に対するワイを節約

  • NeuroSolutions (64-bit) 無料トライアル

    このインストール プログラムには、ニューラル ネットワークの設計と開発のための 3 つの製品の評価版が含まれています: ニューロソリューション、Excel 用 NeuroSolutions とカスタム ソリューション ウィザード。ニューロソリューションズは、Windows用の高度にグラフィカルなニューラルネットワーク開発ツールです。この最先端のソフトウェアは、モジュラーのアイコンベースのネットワーク設計インターフェイスと、反復的なバックプロパゲー

  • Calculator 64bit 無料

    計算機を使用すると、加算、減算、乗算、除算、パーセンテージなどの単純な計算を実行できます。計算は、電卓のボタンをクリックして実行することも、キーボードを使用して計算を入力することもできます。また、数字キーパッドを使用して、Num Lock キーを押して数値と演算子を入力することもできます。ヒント：[等しい]をクリックするか、Enterキーを押した後、[C / バックスペース]の数字をクリアする必要はありません。キーボードショ

  • Quick Input 無料

    クイック入力ソフトウェアは、開発者がこの機能を実装していないすべてのアプリケーションで頻繁に繰り返される単語や単語の組み合わせの入力を高速化するために使用されます。予測技術を使用して、キーボード上のタッチタイプを学ぶ必要はありません!クイック入力ソフトウェアは、テキストを入力するために必要な時間を大幅に短縮するために、コンピュータにインストールすることができます!アプリケーションへのデータ入力後、クイック入力はデータを記憶し、最初の文字が入力

  • GNCutter - cutting optimizer for PDA 無料トライアル

    ガラス、セラミック、金属、乾式壁、またはベニヤパネルから、材料の無駄を最小限に抑える方法を定義します。ほとんどの切断作業は、ペースの速い環境でピースをカットする方法を理解する必要がある建設現場で行う必要があります。GNCutterは、タスクを切断する完全な注意を払って、あなたの人生がはるかに簡単になります。複雑なレイアウトとカットの指示を作業現場で即座に生成して表示します。使用できる2つの切断方法があります: ネスティングとギロチン.ギ

  • Regression Analysis and Forecasting 無料トライアル

    重回帰分析および予測テンプレートを使用すると、価値の要因と予測ビジネスプランまたは科学的データを確実に識別できます。 重回帰プロセスは、一般的に使用される統計指標を利用して分析の妥当性をテストし、結果を簡単に理解できるようにテキスト形式で要約する。 回帰分析によって予測関係が特定された場合、利用可能な方法論とそれに伴う統計的強度に基づいて、予測を迅速に達成できます。 直感的なステップワイズのワークフローにより、タイムリーにプロジェクトの強力な予測

  • Quali-Sense 無料トライアル

    感覚パネルは、製品を消費する際に私たちの五感を引き起こす食品の複雑な特性を記述するための最も効果的で最も自然なツールです。クアリセンスは、パネルリーダーが望むことができる最高の仲間です。一連の統計的検定を使用して、Quali-Senseはパネル内の各審査員の個人的な強みと弱点を検出します。各属性のパネリストの感度、再現性、またはクロスオーバーの問題を発見します。グローバルパネルアグリーメントを確認してください。そして、この情報を使用して、パ