Teori sirkuit pengalih
Teori sirkuit pengalih adalah studi matematis tentang sifat-sifat jaringan pengalih (switch) ideal. Suatu jaringan pengalih dapat bersifat logis kombinatoris secara murni, dengan keadaan luaran hanya bergantung pada keadaan terkini (present state) yang ada pada masukan; atau dapat juga mengandung elemen sekuensial, dengan keadaan terkini bergantung pada keadaan terkini dan keadaan lampau (past state). Dengan kata lain, sirkuit sekuensial merupakan suatu sirkuit yang memiliki “memori” dari keadaan lampau. Salah satu kelas penting dari sirkuit sekuensial adalah mesin keadaan (state machine). Teori sirkuit pengalih berlaku untuk desain sistem telepon, komputer, dan sistem serupa lainnya. Teori sirkuit pengalih menyediakan dasar matematis dan perkakas untuk desain sistem digital di hampir semua bidang teknologi modern.[1]
Dalam suratnya tahun 1886, Charles Sanders Peirce menjelaskan bagaimana operasi logika dapat diimplementasikan pada sirkuit pengalih elektrik.[2] Selama tahun 1880–1881, ia mendemonstrasikan melalui serangkaian percobaan bahwa gerbang NOR (atau alternatifnya, gerbang NAND) secara tunggal dapat digunakan untuk mereproduksi fungsi dari seluruh gerbang logika lainnya, akan tetapi eksperimen ini tidak dipublikasikan oleh Peirce hingga tahun 1933.[3] Publikasi bukti pertama dari fakta ini dilakukan pada tahun 1913 oleh Henry M. Sheffer, sehingga operasi logika gerbang NAND mendapat sebutan ketukan Sheffer; logika NOR seringkali disebut sebagai anak panah Peirce.[4] Setelahnya, gerbang-gerbang ini disebut sebgai gerbang logika universal. [5]
Pada tahun 1898, Martin Boda menerapkan teori sirkuit pengalih untuk sistem petak jalan.[6][7]
Seiring pergantian zaman, tabung elektron digunakan sebagai relai untuk operasi logika. Modifikasi katup Fleming oleh Lee De Forest pada tahun 1907 dapat digunakan sebagai gerbang logika. Ludwig Wittgenstein memperkenalkan versi tabel kebenaran dengan 16 baris sebagai proposisi 5.101 dari Tractatus Logico-Philosophicus (1921). Walther Bothe, penemu sirkuit koinsidensi, menerima Hadiah Nobel Fisika tahun 1954 atas kontribusinya dalam mengembangkan gerbang AND elektronik modern pertama pada tahun 1924. Konrad Zuse merancang dan membangun gerbang logika elektromekanis untuk komputernya, Z1 (dari tahun 1935 hingga 1938).
Teori ini dikembangkan melalui karya independen insinyur NEC Akira Nakashima di Jepang,[8] Claude Shannon di Amerika Serikat,[9] dan Victor Shestakov di Uni Soviet.[10] Ketiganya menerbitkan serangkaian makalah yang menunjukkan bahwa aljabar Boolean bernilai dua dapat digunakan untuk merepresentasikan operasi sirkuit pengalih.[11][12][13][14] Namun, karya Shannon dianggap melebihi dua lainnya. Beberapa peneliti juga memperdebatkan kesamaan karya Nakashima dengan Shannon, ditemukan bahwa pendekatan dan kerangka teoretis yang mereka gunakan sangat berbeda.[15] Terdapat juga pendapat bahwa Shestakov memengaruhi Nakashima dan Shannon, tetapi diabaikan, karena perbedaan bahasa yang digunakan serta tidak adanya bukti bahwa karya Shestakov pernah diterbitkan di luar Russia.[16] Selanjutnya, Shannon dan Shestakov menjalani ujian tesis mereka pada tahun yang sama yaitu 1938,[17] tetapi di antara keduanya, Shestakov tidak menerbitkan karyanya sampai tahun 1941.[18]
Pengalih ideal dianggap hanya memiliki dua keadaan eksklusif, misalnya, terbuka atau tertutup. Dalam beberapa analisis, status pengalih dapat dianggap tidak memengaruhi luaran sistem dan ditetapkan sebagai status "tidak peduli". Dalam jaringan yang kompleks, perlu diperhitungkan juga waktu peralihan pada pengalih fisik berhingga; jika dua atau lebih jalur berbeda dalam jaringan dapat memengaruhi keluaran, penundaan ini dapat mengakibatkan "bahaya logika" atau "kondisi berebut" di mana status keluaran berubah karena perbedaan waktu propagasi melalui jaringan.
Lihat juga
- Pengalihan sirkuit
- Peralihan paket
- Subsistem peralihan jaringan
- Peta Karnaugh
- Gerbang logika
- Pengontrol logika terprogram – perangkat lunak komputer meniru rangkaian relai untuk aplikasi industri
- Relay – jenis perangkat logika awal
Bacaan lebih lanjut
- [1] (2+xx+556+2 pages)
- (xviii+686 pages)
- (188 pages)
- (4+60 pages)
- (xviii+212 pages)
Referensi
- ↑ R.S. Stanković. Reprints from the Early days of Information Sciences - Paul Ehrenfest - Remarks on algebra of Logic and Switching Theory. Tampere International Center for Signal Processing (TICSP). 2010. ISBN 978-952-15-2419-6.
- ↑ AMS :: Bulletin of the American Mathematical Society. www.ams.org. doi:10.1090/s0002-9904-1978-14533-9.
- ↑ Charles S. Peirce. Writings of Charles S. Peirce: a chronological edition. Indiana University Press. 1982. ISBN 978-0-253-37201-7.
- ↑ Hans Kleine Büning. Propositional Logic: Deduction and Algorithms. Cambridge University Press. 1999-08-28. ISBN 978-0-521-63017-7.
- ↑ John Bird. Engineering Mathematics. Newnes. 2007. ISBN 978-0-7506-8555-9.
- ↑ George J. Klir. Introduction to the methodology of switching circuits. Van Nostrand. 1972. ISBN 978-0-442-24463-7.
- ↑ Martin Boda. Die Sicherung des Zugsverkehres auf den Eisenbahnen: ein Lehrbuch zum Gebrauche an den k. k. österr. techn. Hochschulen und zum Selbststudium. A. Wiesner. 1898.
- ↑ Akira Nakashima. Theory of Relay Circuit Composition. Nippon Electrical Communication Engineering. Mei 1936. Vol. 3. hlm. 197–226.
- ↑ Claude E. Shannon. A symbolic analysis of relay and switching circuits. Transactions of the American Institute of Electrical Engineers. 1938-12. Vol. 57 (12). hlm. 713–723. doi:10.1109/T-AIEE.1938.5057767.
- ↑ Victor Ivanovich [Виктор Иванович] Shestakov [Шестаков]. Некоторые математические методы кон-струирования и упрощения двухполюсных электрических схем класса А [Some mathematical methods for the construction and simplification of two-terminal electrical networks of class A]. Lomonosov State University. 1938.
- ↑ George J. Klir. Introduction to the methodology of switching circuits. Van Nostrand. 1972. ISBN 978-0-442-24463-7.
- ↑ 昭彦 山田. 日本における初期のスイッチング理論の研究. 電気学会論文誌a(基礎・材料・共通部門誌). 2004. Vol. 124 (8). hlm. 720–726. doi:10.1541/ieejfms.124.720.
- ↑ Switching Theory/Relay Circuit Network Theory/Theory of Logical Mathematics-Computer Museum. museum.ipsj.or.jp.
- ↑ R.S. Stanković. Reprints from the Early days of Information Sciences - Paul Ehrenfest - Remarks on algebra of Logic and Switching Theory. Tampere International Center for Signal Processing (TICSP). 2010. ISBN 978-952-15-2419-6.
- ↑ Toma Kawanishi. Prehistory of Switching Theory in Japan: Akira Nakashima and His Relay-circuit Theory. Historia Scientiarum. 2019. Vol. 29 (1). hlm. 136–162. doi:10.34336/historiascientiarum.29.1_136.
- ↑ Toma Kawanishi. Prehistory of Switching Theory in Japan: Akira Nakashima and His Relay-circuit Theory. Historia Scientiarum. 2019. Vol. 29 (1). hlm. 136–162. doi:10.34336/historiascientiarum.29.1_136.
- ↑ Grigore C. Moisil. The Algebraic Theory of Switching Circuits: International Series of Monographs in Pure and Applied Mathematics. Elsevier Science. 2014. ISBN 978-1-4831-6076-4.
- ↑ Grigore C. Moisil. The Algebraic Theory of Switching Circuits: International Series of Monographs in Pure and Applied Mathematics. Elsevier Science. 2014. ISBN 978-1-4831-6076-4.
Sumber dan atribusi
Konten artikel ini diadaptasi dari Wikipedia bahasa Indonesia, revisi 29211913 (2026-05-10T18:17:47Z), yang tersedia berdasarkan lisensi Creative Commons Atribusi-BerbagiSerupa (CC BY-SA). Mohon gunakan konten ini secara bijak serta sesuai dengan ketentuan lisensi yang berlaku.