2010年から · 毎月200万回以上のツール利用を支えています
2010年から
Chrome に追加

私のツールボックス

自動モード

保存したツールはまだありません。

プレミアムバージョンにアップグレード
関連ツール
次のステップ
真理値表ジェネレーターブール代数簡略化ツール
同じシーン
カルノー図 (K-Map) ソルバーバイナリ電卓
その他のツール
2進数・グレイコード変換BCD変換ビットに基づいての電卓
ホームページ > その他 > 電子工学ツール
 

論理ゲートシミュレーター

MiniWebtoolの論理ゲートシミュレーターは、一般的なデジタルゲートから作られた回路を評価します。接続のアニメーション、真理値表、ブール形式を確認し、入力の組み合わせから出力が決まる仕組みを調べられます。

使い方がわからないときはAIに聞く

Geminiでは、コピーした質問文をチャットに貼り付けてください。下からコピーすることもできます。

質問文を見る

1日3回まで無料登録不要すぐに結果表示
論理ゲートシミュレーター今すぐ無料で試す ▼
(A AND B) OR NOT C: 8行中5行が真、AB + C' に簡略化

AND、OR、NOT などのゲートを使ってブール式を入力してください。真理値表、ミニターム、簡略化された論理式が表示されます。

別の式と比較(同値ですか?)
構文: 変数 A〜Z、定数 0/1、AND は &、*、·、OR は | または +、NOT は !、~、¬ または末尾のアポストロフィ(A')、XOR は ^ または ⊕で表します。NAND、NOR、XNOR、->、<-> にも対応しています。教科書式表記にも対応: AB + A'C は (A AND B) OR (NOT A AND C) を表します。変数は最大5個です。

論理ゲートシミュレーターを埋め込む

論理ゲートシミュレーター

論理ゲートシミュレーターは、デジタル論理回路のための無料オンラインサンドボックスです。AND、OR、NOT、NAND、NOR、XOR、XNORゲートを使用して論理式を入力すると、シミュレーターが即座にゲートレベルの回路に解析し、キャンバス上に図を描画し、最大5入力の完全な真理値表を作成します。タップ操作で各入力を切り替えて、信号がリアルタイムで伝播する様子を観察できます。デジタル電子工学を学ぶ学生、組合せ回路をプロトタイピングするエンジニア、あるいはブレッドボードや回路図、HDLコードに落とし込む前に論理式をテストしたいすべての人向けに設計されています。

一目でわかる

論理ゲートシミュレーターは、ブール式を最大5変数の真理値表付きゲート回路に変換します。入力を切り替え、標準形とゲートごとの評価過程を確認できます。

論理ゲートシミュレーターの機能一覧
機能できること向いている用途
7種類のゲートAND、OR、NOT、NAND、NOR、XOR、XNORに対応し、語または&、|、!、^、+、*などの記号で入力できます。教科書やデータシートの表記で式を入力する
式の入力A~Zの1文字変数、定数0、1、TRUE、FALSE、入れ子の括弧、NOTを示すA'、並べて書いた項のANDに対応します。(A AND B) OR NOT Cのような回路を入力する
回路図ANSI/IEEEのゲート記号で回路を描きます。入力を押すと値が反転し、1を伝える配線は赤、出力は緑に点灯します。設計内を信号が伝わる様子を見る
真理値表最大5変数、32行までのすべての入力の組み合わせと出力を一覧にし、現在の入力に対応する行を強調します。設計が期待どおりの動作をするか確認する
標準形積和形(Sum-of-Products)、和積形(Product-of-Sums)、カルノー図、簡単化した式を示します。カルノー図やQuine-McCluskey法による簡単化を始める
評価の追跡1つの入力例について式をゲートごとに簡約し、恒真式と矛盾式を検出します。入れ子の式をデバッグする
例のプリセット半加算器、全加算器、マルチプレクサなどの例をワンクリックで読み込めます。標準的な組み合わせ回路を学ぶ

論理ゲートとは?

論理ゲートは、デジタル回路の基本構成要素です。1つ以上のバイナリ入力(0または1、LOWとHIGHとも呼ばれます)を受け取り、固定された論理関数によって決定される単一のバイナリ出力を生成する電子部品です。論理ゲートはシリコン上でトランジスタネットワーク(通常はCMOS)として実装され、ブール代数の物理的実現を担います。すべてのコンピュータ、スマートフォン、デジタルコントローラーは、最終的にはこれら7つの基本ゲートの何十億もの組み合わせでできています。

なぜ最初にシミュレーションするのか? 74シリーズのチップをハンダ付けしたり、VHDL/Verilogモジュールを合成したりする前に、簡単なシミュレーションを行うことで、論理式が意図した真理値表を生成することを確認できます。ここで間違いを見つけるのは数秒で済みますが、シリコン上で見つけた場合は数時間のやり直しが発生する可能性があります。

7つの基本ゲートの概要

↔ モバイルでは横にスワイプして、すべての出力状態を比較できます。

論理ゲートシミュレーター: 7つの基本ゲートの概要
ゲート 記号 論理式 A=0B=0 A=0B=1 A=1B=0 A=1B=1
ANDA · BY = A · B0001
ORA + BY = A + B0111
NOT¬AY = ¬AA=0 → Y=1A=1 → Y=0
NAND¬(A · B)Y = ¬(A · B)1110
NOR¬(A + B)Y = ¬(A + B)1000
XORA ⊕ BY = A ⊕ B0110
XNOR¬(A ⊕ B)Y = ¬(A ⊕ B)1001

ANDゲート

出力はすべての入力が 1 のときにのみ 1 になります。スイッチの直列接続として考えることができます。複数の条件を強制したり、ビットをマスクしたり、論理積を実装したりするために使用されます。代表的な部品:7408(2入力AND ×4)。

ORゲート

出力は少なくとも1つの入力が 1 のときに 1 になります。スイッチの並列接続として考えることができます。アラーム回路、ビットセット、論理和に使用されます。代表的な部品:7432。

NOTゲート(インバータ)

0 を 1 に、1 を 0 に反転させる単一入力のゲートです。信号の否定、補数ラインの生成、CMOS の能動素子として使用されます。代表的な部品:7404。

NANDゲート

AND の否定で、すべての入力が 1 のときにのみ 0 を出力します。NAND は万能ゲートであり、NAND ゲートのみを使用してあらゆる論理関数を構築できるため、量産される CMOS の主流となっています。代表的な部品:7400。

NORゲート

OR の否定で、すべての入力が 0 のときにのみ 1 を出力します。これも万能ゲートです。3入力 NOR ゲートのみで構築されたアポロ誘導コンピュータのコアゲートとして有名です。代表的な部品:7402。

XORゲート

排他的論理和は、入力のうち 1 の数が奇数のときに 1 を出力します。バイナリ加算器(和ビット)、パリティ生成、比較器、AES のラウンド関数において極めて重要です。代表的な部品:7486。

XNORゲート

XOR の否定で、入力が等しいとき(一致するとき)に 1 を出力します。一致ゲートとも呼ばれ、1ビット比較器として使用されます。代表的な部品:74266。

このシミュレーターの使い方

  1. 上部の入力ボックスに論理式を入力または構築します。直接入力することも、キーパッドボタンを使用して変数や演算子を選択することもできます。単語構文(AND、OR、NOT)と記号構文(&、|、!、^)の両方に対応しています。
  2. 「シミュレート」をクリックします。シミュレーターが式を解析し、構文を確認し、変数を抽出して、あらゆる組み合わせ(5入力の場合は最大32行)の出力を計算します。
  3. 回路図の上にある入力トグルを切り替えます。各トグルはクリック可能なボタンで、0 と 1 を切り替えます。回路はリアルタイムで更新され、アクティブなワイヤは赤色で強調表示され、Y = 1 のときは緑色の出力 LED が点灯します。
  4. 真理値表を確認します。考えられるすべての入力の組み合わせとそれに対応する出力がリストされます。現在のトグルの状態に一致する行が強調表示されます。
  5. 標準形を確認します。シミュレーターは主加法標準形(SOP)と主乗法標準形(POS)を書き出します。これらはカルノー図による簡略化やクワイン・マクラスキー法による簡略化の出発点となります。
  6. 評価ステップを確認します。ステップバイステップパネルには、特定の入力に対して式がどのようにゲートごとに簡略化されるかが表示されます。これは、ネストされた式のデバッグに特に役立ちます。

対応している構文

探索すべきプリセット回路

多数決関数(3入力)

(A AND B) OR (A AND C) OR (B AND C) — 3つの入力のうち少なくとも2つが 1 のときに出力が 1 になります。これは、航空宇宙やフォールトトレラント・コンピューティングで使用される3重系冗長(TMR)投票回路の核心です。

2-to-1 マルチプレクサ

(A AND NOT S) OR (B AND S) — 選択ライン S が 0 のときは入力 A を出力し、S が 1 のときは入力 B を出力します。マルチプレクサはデータパスのルーティング構造であり、FPGA のルックアップテーブルは文字通りマルチプレクサの連鎖です。

3ビットパリティ

A XOR B XOR C — 1 の入力が奇数のときに出力が 1 になります。パリティチェッカーは、RAM の誤り検出、UART 通信、RAID ストレージで使用されます。

半加算器

1ビット加算器の「和(Sum)」ビットは A XOR B であり、「桁上げ(Carry)」ビットは A AND B です。これらを連鎖させることで、あらゆる CPU の算術演算の核となる桁上げ伝播加算器が構築されます。

ブール代数の基本

主な恒等式

主加法標準形 (SOP)

出力が 1 になるすべての行を取り出し、それぞれを変数の積(1 の場合はそのまま、0 の場合は否定)として記述し、それらを OR でつなぎます。すべての論理関数には一意の SOP が存在し、シミュレーターはそれを自動的に表示します。

主乗法標準形 (POS)

SOP の双対です。出力が 0 になる各行を取り出し、1 の入力を反転させ 0 の入力をそのままにした和として記述し、それらすべての因子の AND をとります。関数の出力に 0 よりも 1 が多い場合に便利です。

論理ゲートの現実世界での応用

回路図の読み方のコツ

よくある質問

論理式で使用できる演算子は何ですか?

シミュレーターでは、単語演算子(AND、OR、NOT、NAND、NOR、XOR、XNOR)と記号演算子の両方を使えます。AND には & または *、OR には | または +、NOT には ! または ~、XOR には ^ を使用します。教科書で使われる記法にも対応しています。末尾のアポストロフィは NOT(A' は NOT A)を表し、文字を続けて書くと AND になります。たとえば AB + A'C は (A AND B) OR (NOT A AND C) です。含意 (->) と同値 (<->) も使用できます。変数は A〜Z の1文字で、大文字と小文字は区別されません。定数には 0 と 1 を使えます。括弧は自由に入れ子にして評価順を指定できます。

NANDゲートとNORゲートの違いは何ですか?

NAND(NOT AND)は、入力の AND が 0 のときに 1 を出力します。つまり、すべての入力が 1 の場合を除き、常に 1 を出力します。NOR(NOT OR)は、すべての入力が 0 のときにのみ 1 を出力します。これらはどちらも万能ゲートと呼ばれ、NAND ゲートのみ、または NOR ゲートのみを使用してあらゆる論理関数を構築できるため、CMOS 集積回路の構成要素となっています。

なぜXORは1の入力が奇数のときに出力が1になるのですか?

XOR(排他的論理和)は、2つの入力が異なるときに 1 を出力します。連鎖した XOR はパリティチェッカーとして機能し、1 の入力の総数が奇数のときに出力は 1、偶数のときに出力は 0 になります。そのため、XOR ゲートはパリティ生成回路、誤り検出回路、およびバイナリ加算器の和出力に使用されます。

シミュレーターはいくつの変数まで扱えますか?

シミュレーターは最大 5 つの異なる変数をサポートしており、最大 32 行の真理値表を作成できます。この制限により、真理値表の読みやすさと回路図の明快さが維持されています。5 つを超える変数を含む式を貼り付けた場合、ツールは変数を減らすよう求めます。

主加法標準形(Sum-of-Products)とは何ですか?

主加法標準形(SOP)は、式が AND 項の OR として記述される標準的な論理形式です。各 AND 項は、出力が 1 になる真理値表の行に対応します。SOP は、真理値表を論理式に戻す直接的な方法であり、カルノー図やクワイン・マクラスキー法による簡略化の出発点となります。

式の簡略化や、2つの式が等しいかの確認はできますか?

はい。「簡略化した式」には、Quine–McCluskey法と厳密な最小被覆による最小積和形・最小和積形が表示されます。2〜5変数のカルノー図では各グループを色付きの円で示し、ミン項・マックス項の一覧、NANDのみ・NORのみで構成した式とゲート数も確認できます。「別の式と比較」を開くと、2つの式が同値かどうかを調べ、出力が異なる行を確認できます。

このツールを実際のハードウェア設計に使用できますか?

はい。このシミュレーターは、デジタル論理の学習、宿題の解決、74シリーズ IC を使用したブレッドボードの試作、FPGA や ASIC プロジェクトの初期設計の検討に役立ちます。回路図にはゲート数と構造が表示されるため、回路図エディタに移行する前に、チップ数やルックアップテーブルの利用率を見積もることができます。

2対1マルチプレクサをブール式で表すには、どうすればよいですか?

入力をAとB、選択線をS、出力をYとすると、一般的な式はY = (!S AND A) OR (S AND B)です。Sが0のときは最初の項がAを通し、Sが1のときは2つ目の項がBを通します。このシミュレーターの構文では、!S*A + S*Bと書けます。意図したまとまりを明確にするには、括弧を使うとよいでしょう。

A AND (B OR C)と(A AND B) OR Cで結果が異なるのはなぜですか?

括弧によって、どの入力を先にまとめるかが変わります。A AND (B OR C)では、Aが1で、かつBまたはCのどちらかが1でなければなりません。(A AND B) OR Cでは、Cが1ならAに関係なく出力は1です。A=0、B=0、C=1の場合、最初の式は0、2つ目の式は1です。意図した論理を明確にするため、括弧を使ってください。

シミュレーターで、すべての入力の組み合わせに対する出力を表示できますか?

はい。ページの説明によると、このシミュレーターは最大5入力の式について真理値表を作成します。真理値表には、0と1からなる各入力の組み合わせに対する出力が一覧表示されます。入力が3つなら、2³ = 8行です。式に説明された上限を超える数の変数が含まれる場合は、問題を小さく分けるか、部分ごとに評価してから全体の表として利用してください。

このコンテンツ、ページ、またはツールを引用する場合:

"論理ゲートシミュレーター"(https://MiniWebtool.com/ja/論理ゲートシミュレーター/)、MiniWebtool、https://MiniWebtool.com/

by miniwebtool team. 更新日: 2026年4月20日

お気に入りのAIに聞く

Geminiでは、コピーした質問文をチャットに貼り付けてください。下からコピーすることもできます。

質問文を見る

電子工学ツール:

人気・最新のツール:

そろばんシミュレーターRSA暗号化ステップバイステップシミュレータールクスからルーメン電卓すべて見る →
ホームページ > その他 > 電子工学ツール > 論理ゲートシミュレーター