Penyederhana Boolean SOP dan POS terverifikasi
2…6 variabel A…F; A adalah bit baris yang paling signifikan. Operator yang dibaca: !/~ NOT, & AND, ^ XOR, OR, dan tanda kurung; tanpa AND implisit.
- Berjalan di browser
- Tanpa unggahan
- Periksa sebelum mengunduh
2…6 variabel A…F; A adalah bit baris yang paling signifikan. Operator yang dibaca: !/~ NOT, & AND, ^ XOR, OR, dan tanda kurung; tanpa AND implisit. Masukkan himpunan nilai 1 atau ekspresi, ditambah don't-care. Tujuan SOP/POS persis: suku paling sedikit, lalu literal paling sedikit; semua baris yang dipedulikan diverifikasi, hingga 16 hasil optimal yang seimbang ditampilkan. Jika batas terlampaui, alat tidak pernah mengklaim hasil minimum.
Model, tata bahasa, dan batas
F:{0,1}ⁿ→{0,1}; min(T,L)
Teks angka maksimal 48 karakter, titik desimal/notasi ilmiah e; tanpa pemisah ribuan. Umumnya ≤ 60 V; 555: 4,5…16 V. R 1e−9…1e12 Ω (555: 1…1e9), C 1e−18…100 F (555: ≥ 1 pF), L 1e−12…1e6 H. Kurva 2…501 titik ditambah titik potong/resonansi hingga 502. Jaringan maksimal 32 simpul/kedalaman 8, hanya R positif. Boolean: 2…6 variabel, 4096 karakter/1024 token/512 simpul AST/kedalaman 32, 64 baris, 729 kubus, 200000 simpul pencarian; maksimal 16 hasil seimbang ditampilkan. LED 1…100; arus kabel maksimal 1000 A, T linier sendiri −100…500 °C. Batas angka ini tidak pernah menjamin kelayakan fisik.
Normalisasi SI, topologi yang eksplisit, dan model ideal. Tampilan hingga 10 digit signifikan; CSV menyimpan nilai angka dan satuan. Penyederhanaan Boolean hanya tepat jika pencarian terbatasnya selesai dan semua baris yang dipedulikan terverifikasi. μ0/ε0 CODATA 2022 adalah konstanta hasil pengukuran yang dibulatkan dan punya ketidakpastian, bukan definisi tepat; c = 299792458 m/s tepat. Tanpa persetujuan untuk perangkat keras, sistem kritis, pemasangan, atau produksi.
Hanya worker lokal dengan pengawas waktu 15 detik. Mengedit, mengatur ulang, membatalkan, atau meninggalkan halaman menghentikan pekerjaan yang berjalan; input tidak disimpan otomatis dan tidak diunggah. Cadangan input yang Anda buat sendiri maksimal 1 MiB; file asli tetap utuh. Data input, rumus, dan nama file tidak pernah dikirim. Hanya jika Anda setuju (opsional), Refentra mengirim jumlah agregat tindakan dan hasil, tanpa isi input.
Cara memakai model ini
- Input Anda sendiri
2…6 variabel A…F; A adalah bit baris yang paling signifikan. Operator yang dibaca: !/~ NOT, & AND, ^ XOR, OR, dan tanda kurung; tanpa AND implisit. Masukkan himpunan nilai 1 atau ekspresi, ditambah don't-care. Tujuan SOP/POS persis: suku paling sedikit, lalu literal paling sedikit; semua baris yang dipedulikan diverifikasi, hingga 16 hasil optimal yang seimbang ditampilkan. Jika batas terlampaui, alat tidak pernah mengklaim hasil minimum.
- Model, tata bahasa, dan batas
F:{0,1}ⁿ→{0,1}; min(T,L) Normalisasi SI, topologi yang eksplisit, dan model ideal. Tampilan hingga 10 digit signifikan; CSV menyimpan nilai angka dan satuan. Penyederhanaan Boolean hanya tepat jika pencarian terbatasnya selesai dan semua baris yang dipedulikan terverifikasi. μ0/ε0 CODATA 2022 adalah konstanta hasil pengukuran yang dibulatkan dan punya ketidakpastian, bukan definisi tepat; c = 299792458 m/s tepat. Tanpa persetujuan untuk perangkat keras, sistem kritis, pemasangan, atau produksi.
- Unduh laporan CSV
Hanya worker lokal dengan pengawas waktu 15 detik. Mengedit, mengatur ulang, membatalkan, atau meninggalkan halaman menghentikan pekerjaan yang berjalan; input tidak disimpan otomatis dan tidak diunggah. Cadangan input yang Anda buat sendiri maksimal 1 MiB; file asli tetap utuh. Data input, rumus, dan nama file tidak pernah dikirim. Hanya jika Anda setuju (opsional), Refentra mengirim jumlah agregat tindakan dan hasil, tanpa isi input.
Pertanyaan dan batas model
Asumsi apa yang berlaku?
2…6 variabel A…F; A adalah bit baris yang paling signifikan. Operator yang dibaca: !/~ NOT, & AND, ^ XOR, OR, dan tanda kurung; tanpa AND implisit. Masukkan himpunan nilai 1 atau ekspresi, ditambah don't-care. Tujuan SOP/POS persis: suku paling sedikit, lalu literal paling sedikit; semua baris yang dipedulikan diverifikasi, hingga 16 hasil optimal yang seimbang ditampilkan. Jika batas terlampaui, alat tidak pernah mengklaim hasil minimum.
Seberapa tepat hasilnya?
Normalisasi SI, topologi yang eksplisit, dan model ideal. Tampilan hingga 10 digit signifikan; CSV menyimpan nilai angka dan satuan. Penyederhanaan Boolean hanya tepat jika pencarian terbatasnya selesai dan semua baris yang dipedulikan terverifikasi. μ0/ε0 CODATA 2022 adalah konstanta hasil pengukuran yang dibulatkan dan punya ketidakpastian, bukan definisi tepat; c = 299792458 m/s tepat. Tanpa persetujuan untuk perangkat keras, sistem kritis, pemasangan, atau produksi.
Input apa saja yang didukung?
Teks angka maksimal 48 karakter, titik desimal/notasi ilmiah e; tanpa pemisah ribuan. Umumnya ≤ 60 V; 555: 4,5…16 V. R 1e−9…1e12 Ω (555: 1…1e9), C 1e−18…100 F (555: ≥ 1 pF), L 1e−12…1e6 H. Kurva 2…501 titik ditambah titik potong/resonansi hingga 502. Jaringan maksimal 32 simpul/kedalaman 8, hanya R positif. Boolean: 2…6 variabel, 4096 karakter/1024 token/512 simpul AST/kedalaman 32, 64 baris, 729 kubus, 200000 simpul pencarian; maksimal 16 hasil seimbang ditampilkan. LED 1…100; arus kabel maksimal 1000 A, T linier sendiri −100…500 °C. Batas angka ini tidak pernah menjamin kelayakan fisik.
Di mana perhitungan dijalankan?
Hanya worker lokal dengan pengawas waktu 15 detik. Mengedit, mengatur ulang, membatalkan, atau meninggalkan halaman menghentikan pekerjaan yang berjalan; input tidak disimpan otomatis dan tidak diunggah. Cadangan input yang Anda buat sendiri maksimal 1 MiB; file asli tetap utuh. Data input, rumus, dan nama file tidak pernah dikirim. Hanya jika Anda setuju (opsional), Refentra mengirim jumlah agregat tindakan dan hasil, tanpa isi input.