Boolean Expression Minimizer

Boolean Expression Minimizer menyediakan penyederhanaan langkah-demi-langkah ekspresi algebra Boolean. Dua mod boleh didapati:

1. Minimizer Algebra Interaktif: Dalam mod ini, anda dibimbing untuk memudahkan ungkapan. Petua diberikan dan ungkapan diuji untuk kesahihan dan kesetaraan dalam setiap langkah.

2. Pengatur Algebra Automatik: Dalam mod ini, ungkapan secara automatik dipermudahkan dengan semua langkah yang dijelaskan.

Ekspresi boolean dimasukkan dalam format infix di mana operator TIDAK meneruskan istilah tersebut dan operator AND tersirat contohnya. A '+ BC. Sehingga 26 pembolehubah disokong dari A hingga Z. Undang-undang dan teorem berikut digunakan:

→ Complementarity: (i) X + X '= 1 (ii) XX' = 0

→ Idempotency: (i) X + X = X (ii) XX = X

→ Involusi: X '' = X

→ Identiti: (i) X + 0 = X (ii) X1 = X

→ Unsur Null: (i) X + 1 = 1 (ii) X0 = 0

→ Penyerapan: (i) X + XY = X (ii) X (X + Y) = X

→ Adsoption: (i) X + X'Y = X + Y (ii) X (X '+ Y) = XY

→ Perpaduan: (i) XY + XY '= X (ii) (X + Y) (X + Y') = X

→ Undang-undang DeMorgan: (i) (X + Y) '= X'Y' (ii) (XY) '= X' + Y '

→ Commutativity: (i) X + Y = Y + X (ii) XY = YX

→ Persamaan: (i) X + (Y + Z) = X + Y + Z (ii) X (YZ) = XYZ

→ Distributivity: (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)

→ XOR Gate: X ^ Y = X'Y + XY '

→ XNOR Gate: X = Y ≡ X'Y '+ XY

Nota: Aplikasi ini memerlukan sambungan Internet.