- Artikel tentang konsep kelengkapan fungsional dalam konteks pengurangan floating point IEEE-754
- Penjelasan bahwa semua rangkaian biner dapat dibangun hanya dengan menggunakan pengurangan floating point
- Penjelasan rinci tentang standar IEEE 754-2019, bagian 6.3, termasuk bit tanda dan aturan yang berlaku ketika operan atau hasilnya adalah nol atau tak hingga
- Penulis menunjukkan bagaimana pengurangan diperlakukan sebagai penjumlahan, dan bagaimana nol dapat memiliki tanda, sehingga -0 dan +0 merupakan entitas yang berbeda
- Disajikan tabel benar/salah yang menunjukkan hasil pengurangan dari nol, dengan usulan bahwa -0 adalah salah dan +0 adalah benar
- Tabel benar/salah yang dihasilkan setara dengan A∨¬B atau B→A (juga dikenal sebagai gerbang IMPLY), yang bersifat lengkap secara fungsional
- Penulis menjelaskan bahwa NAND dan NOR bersifat lengkap secara fungsional dengan sendirinya tanpa perlu mengakses nilai konstan tertentu
- Termasuk demo Python untuk membangun gerbang NOT dan gerbang OR menggunakan pengurangan floating point
- Penulis menunjukkan cara membangun gerbang lain seperti AND dan XOR menggunakan OR dan NOT
- Artikel ditutup dengan implementasi Rust yang merealisasikan bilangan bulat hanya dengan operasi floating point, memperlihatkan cara menjumlahkan dua bilangan bulat 8-bit menggunakan instruksi floating point
1 komentar
Ada kesalahan pada judulnya. Bukan berarti pengurangan sudah selesai, melainkan bahwa semua fungsi dapat diekspresikan dengan pengurangan, sehingga disebut lengkap secara fungsional.