Boolean Expression Minimizer

Boolean Expression Minimizer, Boolean cebir ifadelerinin adım adım basitleştirilmesini sağlar. İki mod mevcuttur:

1. Etkileşimli Cebir Minimizer: Bu modda, bir ifadeyi basitleştirmek için yönlendirilirsiniz. İpuçları verilir ve ifadeler her adımda geçerlilik ve denklik açısından test edilir.

2. Otomatik Cebir Minimizer: Bu modda, ifade açıklanan tüm adımlarla ifade otomatik olarak basitleştirilir.

Boole ifadeleri, NOT işlecinin terimi ilerlettiği ve AND operatörünün ör. A '+ BC. A'dan Z'ye en fazla 26 değişken desteklenir. Aşağıdaki yasalar ve teoremler kullanılır:

→ Tamamlayıcılık: (i) X + X '= 1 (ii) XX' = 0

→ İdempotency: (i) X + X = X (ii) XX = X

→ Katılma: X '' = X

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

→ Boş Eleman: (i) X + 1 = 1 (ii) X0 = 0

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

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

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

→ DeMorgan Yasaları: (i) (X + Y) '= X'Y' (ii) (XY) '= X' + Y '

→ Değişebilirlik: (i) X + Y = Y + X (ii) XY = YX

→ İlişkilendirilebilirlik: (i) X + (Y + Z) = X + Y + Z (ii) X (YZ) = XYZ

→ Dağılımsallık: (i) X (Y + Z) = XY + XZ (ii) X + YZ = (X + Y) (X + Z)

→ Fikir birliği: (i) XY + X'Z + YZ = XY + X'Z (ii) (X + Y) (X '+ Z) (Y + Z) = (X + Y) (X' + Z)

→ XOR Kapısı: X ^ Y = X'Y + XY '

→ XNOR Kapısı: X = Y ≡ X'Y '+ XY

Not: Bu uygulama bir İnternet bağlantısı gerektirir.