Dari Tabel Kebenaran ke Logika Terpercaya: Menguasai Ekspresi Boolean untuk Desain Digital Aman

Saat insinyur merancang sistem digital, mereka biasanya memulai dengan tabel kebenaran yang menguraikan perilaku logis yang diinginkan.

Tantangannya adalah memilih rangkaian yang tepat—baik gerbang logika, rangkaian relay, atau pengontrol terprogram—yang mengimplementasikan perilaku itu dengan setia.

Sementara desainer berpengalaman dapat segera memetakan tabel kebenaran ke solusi hardware, teknik sistematis ada untuk diikuti oleh semua insinyur.

Aljabar Boolean memberikan metode yang jelas, langkah demi langkah, yang mentransformasi setiap tabel kebenaran menjadi rangkaian fungsional.

Untuk mengilustrasikan proses ini, mari kita pertimbangkan masalah rekayasa yang realistis: merancang sistem deteksi nyala untuk pemilah sampah beracun.

Pembakaran suhu tinggi digunakan untuk menutralisir sampah berbahaya. Metode ini umum untuk sampah medis yang mungkin membawa patogen mematikan.

 

 

Selama nyala tetap ada di pemilah, aman untuk menyuntikkan sampah untuk pembusukan. Jika nyala padam, sisa sampah yang tersisa dapat keluar melalui buang asap tanpa ditralisir, menimbulkan risiko kesehatan serius.

Sistem kami therefore membutuhkan detektor nyala yang tak gagal yang hanya memungkinkan penyuntikan sampah ketika nyala terverifikasi.

Deteksi nyala dapat dicapai melalui sensor optik, termal, atau konduksi listrik—setiap satu memiliki kekuatan dan kelemahannya.

Mengingat bahaya yang tinggi, desain memerlukan deteksi redundan: beberapa sensor sehingga satu kegagalan tidak dapat memicu operasi yang tidak aman.

Setiap sensor menyediakan kontak normally-open yang tertutup saat nyala terdeteksi. Kontak ini menyuapkan input sistem logika.

 

 

Tujuan kami adalah membangun logika yang membuka klep sampah hanya ketika sensor mengonfirmasi nyala.

Pertama, kita harus menentukan perilaku logis. Apakah satu sensor cukup? Tidak—mengizinkan klep terbuka jika hanya satu dari tiga sensor melaporkan nyala mengalahkan redundansi dan keamanan.

Sebaliknya, kami memerlukan ketiga sensor setuju sebelum klep terbuka. Pendekatan ini menjamin bahwa satu bacaan “nyala” palsu tidak dapat mempertahankan klep terbuka; ketiga semuanya akan perlu gagal secara bersamaan—skenario yang sangat tidak mungkin.

Akibatnya, tabel kebenaran sederhana: output tinggi hanya ketika input A, B, dan C semuanya tinggi.

 

 

Fungsi ini dengan mudah dicapai dengan gerbang AND tiga input, yang mengeluarkan output tinggi hanya ketika semua input tinggi.

 

 

Jika relay digunakan, perilaku AND dapat direplikasi dengan menyambungkan kontak sensor secara seri atau dengan kontak relay yang disambung seri—hanya maka daya akan mencapai klep ketika setiap sensor mengonfirmasi nyala.

 

 

Sementara desain ini memaksimalkan keamanan, ini juga membuat sistem rentan terhadap kegagalan “nyala-fals-negatif”: sensor yang gagal mendeteksi nyala aktual akan menutup klep secara tidak perlu, membuang bahan bakar dan waktu henti.

Ideally, kita ingin sistem logika yang mentolerir satu sensor fals-negatif namun tetap melindungi terhadap kesalahan fals-positif. Aturan “dua dari tiga” memenuhi kedua kebutuhan: klep terbuka jika setidaknya dua sensor melaporkan nyala.

Di bawah ini adalah tabel kebenaran untuk logika tersebut.

 

 

Menggunakan Sum-Of-Products

Pada pandangan pertama, tidak jelas rangkaian mana yang akan mengimplementasikan tabel kebenaran ini. Bentuk ekspresi Boolean Sum-Of-Products (SOP) memecahkan itu.

Ekspresi SOP adalah jumlah dari suku produk—setiap produk adalah konjungsi variabel atau komplementnya.

Misalnya: ABC + BC + DF adalah SOP sederhana di mana “ABC,” “BC,” dan “DF” adalah suku produk.

Untuk menghasilkan SOP dari tabel kebenaran, daftarkan setiap baris di mana output tinggi (1) dan tulis suku produk yang sama dengan 1 untuk input tersebut.

Pertimbangkan baris di mana A=0, B=1, C=1. Suku produknya adalah A′BC, yang mengevaluasi ke 1 hanya dalam kondisi tepat itu.

 

 

Baris tinggi yang tersisa menghasilkan tiga suku produk lagi:

 

 

Menggabungkannya dengan logika OR memberikan ekspresi SOP lengkap untuk logika dua-dari-tiga:

 

 

Setelah kita memiliki SOP, merancang rangkaian mudah: setiap suku produk dipetakan ke gerbang AND, dan OR dari gerbang tersebut menghasilkan output akhir.

 

 

Meskipun benar, rangkaian ini bisa besar. Aljabar Boolean memungkinkan kita untuk menyederhanakan ekspresi secara dramatis.

 

 

Dengan ekspresi yang disederhanakan, kita dapat membangun logika yang lebih ringan—baik dengan gerbang atau relay—sambil mempertahankan fungsi yang sama.

 

 

Salah satu dari kedua rangkaian yang efisien ini akan mengendalikan klep sampah pemilah dengan andal berdasarkan konfirmasi nyala dua-dari-tiga.

Kita dapat meningkatkan keamanan lebih lanjut dengan menambahkan logika yang mendeteksi ketidaksetujuan sensor—kondisi apa pun di mana tiga input tidak identik.

Semua sensor berfungsi dengan baik, mereka harus semua membaca rendah (000) atau semua membaca tinggi (111). Kombinasi lain (001, 010, 011, 100, 101, atau 110) menunjukkan ketidakcocokan dan kegagalan potensial.

Alarm yang dipicu oleh ketidakcocokan tersebut memungkinkan operator untuk menilai apakah melanjutkan operasi atau mematikan untuk keamanan.

Untuk merancang detektor “ketidaksetujuan sensor” ini, kita perluas tabel kebenaran dengan kolom output tambahan yang mewakili sinyal alarm.

 

 

Menghasilkan SOP untuk kolom ini akan melibatkan enam suku produk—merepotkan dan rentan terhadap kesalahan.

 

 

Menggunakan Product-Of-Sums

Alih-alih menjumlahkan baris tinggi, kita dapat membangun ekspresi Product-Of-Sums (POS) yang menangkap baris rendah, menghasilkan lebih sedikit suku.

Ekspresi POS mengalikan jumlah variabel (suku OR) bersama. Contohnya: (A + B)(C + D).

Pertama, identifikasi baris dengan output rendah (0) dan tulis jumlah yang mengevaluasi ke 0 di bawah kondisi input tersebut.

Untuk baris pertama (A=0, B=0, C=0), suku jumlahnya adalah (A + B + C), yang sama dengan 0 hanya ketika ketiga semuanya nol.

 

 

Hanya satu baris lain yang menghasilkan output 0: A=1, B=1, C=1. Jumlah yang sesuai adalah (A′ + B′ + C′).

 

 

Ekspresi POS lengkap adalah hasil kali dari kedua jumlah ini:

 

 

Sementara SOP dipetakan secara alami ke jaringan gerbang AND yang menyuapkan satu gerbang OR, POS dipetakan ke gerbang OR yang menyuapkan satu gerbang AND.

 

 

Alternatifnya, implementasi relay dari POS menggunakan kontak paralel dalam seri, mencerminkan konfigurasi gerbang.

 

 

Kedua rangkaian ini mengilustrasikan logika ketidaksetujuan sensor saja; sistem lengkap menggabungkan detektor “nyala baik” dan ketidaksetujuan.

Dalam implementasi PLC, logika lengkap mungkin terlihat seperti ini:

 

 

Kedua bentuk SOP dan POS adalah alat canggih untuk menurunkan logika fungsional dari tabel kebenaran. Mereka memungkinkan desain deterministik dan dapat diotomatisasi—sehingga komputer dapat menghasilkan rangkaian logika kustom dari spesifikasi saja.

Karena proses konversi mudah, ia membutuhkan kreativitas minimal, yang memungkinkan desainer untuk berkonsentrasi pada keamanan dan kinerja tingkat yang lebih tinggi.

REVIEW:

• Sum-Of-Products (SOP) dibangun dengan mencantumkan baris dengan output tinggi, membuat suku produk untuk setiap, dan menjumlahkannya.
• SOP dipetakan dengan jelas ke serangkaian gerbang AND yang menyuapkan satu gerbang OR.
• Product-Of-Sums (POS) dibangun dengan mencantumkan baris dengan output rendah, membuat suku jumlah untuk setiap, dan mengalikan mereka.
• POS dipetakan ke serangkaian gerbang OR yang menyuapkan satu gerbang AND.

LEMBAR KERJA TERKAIT:

• Lembar Kerja Ekspresi Jumlah-Produk dan Produk-Jumlah
• Lembar Kerja Aljabar Boolean