主な機能
- 回路エディター
- グリッド上の AND、OR、NOT、XOR、NAND、NOR、XNOR、BUF ゲート（多入力ゲートは 2～4 入力）、スイッチ、ランプ、クロック（0.5～8 Hz）。部品をタップして置き場所を選ぶか、ドラッグして配置します。配線は端子間のドラッグ、端子を順にタップ、または「配線…」ダイアログでつなぎます。
- ライブシミュレーション
- イベント駆動で、各ゲートに 1 ステップの遅延があります。フィードバックのある回路（SR ラッチ）はある状態に落ち着き、落ち着かない回路は発振中として表示されます。1 が流れている配線は光ります。
- 真理値表と論理式
- 表はスイッチとランプから自動で作られ（最大 8 入力）、現在の行が強調表示されます。論理式は 4 入力までクワイン・マクラスキー法で簡単化した積和形で表示され、XOR の形も認識します。「表をコピー」でタブ区切りのテキストが得られます。
- 12 の演習
- NOT、ゲート、半加算器と全加算器、NAND だけで、SR ラッチ、マルチプレクサー、デコーダー、比較器、2 ビット加算器、D ラッチ、多数決。「テスト」はすべての入力の組み合わせを試し、最初の誤った行を示します。進み具合は保存されます。
- 表から回路を作成
- 真理値表を埋めるか論理式を入力すると（A·B + ¬C、A ⊕ B …）、Boolia が最大 4 入力・4 出力の回路を簡単化した形で作ります。
- ステップ実行
- 1 ステップは 1 ゲート分の遅延です。次のステップで計算される部品に印が付きます。クロックを手で進めることもできます。
データ処理とプライバシー
Boolia は回路と演習の進み具合をこのデバイス（ブラウザーの IndexedDB ストレージ）に保存し、どのサーバーにも送信しません。シミュレーションはデバイス上で動作します。