Langkah-langkah penyederhanaan ekspresi aljabar Boolean
Boolean Expression Minimizer menyediakan penyederhanaan ekspresi aljabar Boolean. Tersedia dua mode:
1. Minimizer Aljabar Interaktif: Dalam mode ini, Anda dipandu untuk menyederhanakan ekspresi. Petunjuk disediakan dan ekspresi diuji untuk validitas dan kesetaraan di setiap langkah.
2. Minimizer Aljabar Otomatis: Dalam mode ini, ekspresi secara otomatis disederhanakan dengan semua langkah dijelaskan.
Ekspresi Boolean dimasukkan dalam format infix di mana operator TIDAK melanjutkan istilah dan operator DAN tersirat misalnya. A + BC. Hingga 26 variabel didukung dari A hingga Z. Hukum dan teorema berikut digunakan:
→ Komplementaritas: (i) X + X '= 1 (ii) XX' = 0
→ Idempotensi: (i) X + X = X (ii) XX = X
→ Keterlibatan: X '' = X
→ Identitas: (i) X + 0 = X (ii) X1 = X
→ Elemen Null: (i) X + 1 = 1 (ii) X0 = 0
→ Penyerapan: (i) X + XY = X (ii) X (X + Y) = X
→ Iklan: (i) X + X'Y = X + Y (ii) X (X '+ Y) = XY
→ Kesatuan: (i) XY + XY '= X (ii) (X + Y) (X + Y') = X
→ Hukum DeMorgan: (i) (X + Y) '= X'Y' (ii) (XY) '= X' + Y '
→ Commutativity: (i) X + Y = Y + X (ii) XY = YX
→ Asosiasi: (i) X + (Y + Z) = X + Y + Z (ii) X (YZ) = XYZ
→ Distribusi: (i) X (Y + Z) = XY + XZ (ii) X + YZ = (X + Y) (X + Z)
→ Konsensus: (i) XY + X'Z + YZ = XY + X'Z (ii) (X + Y) (X '+ Z) (Y + Z) = (X + Y) (X' Y) (X '+ Z)
→ Gerbang XOR: X ^ Y = X'Y + XY '
→ Gerbang XNOR: X = Y ≡ X'Y '+ XY
Catatan: Aplikasi ini membutuhkan koneksi Internet.