Tud Intuit, előadás, egyenértékű képleteket és szokásos formák

Kivonat: A egyenértékűségét Boole képletek. Key ekvivalencia (logika törvényei). Egyenértékű átszámítási képlet. cseréje az egyenértékűség elvének. Diszjunktív és konjunktív normál forma (DNF és CNF). Tökéletes DNF és CNF. Rövidített DNF és építési Blake. Zhegalkin polinomok és azok építése útján egyenértékű transzformációs képletek és az eljárás meghatározatlan együtthatók a táblázatok

Ekvivalencia logikai képletek

Meghatározás 4.1. Boole-formulák egyenértékűek. ha a megfelelő funkciót és az egyenlő.

Rendeltetése :. Egyenértékű általános képletű is nevezik azonosan egyenlő, és az olyan kifejezések, mint a logikai identitását.

Alapvető egyenértékűség (identitás)

Így, egyenértékű képletek a különböző feladatokat az azonos Boole-függvény. Az alábbiakban megadjuk a párok száma azonos képlet (identitás) tükröző alapvető tulajdonságait logikai műveletek és fontos kapcsolatokat a különböző műveleteket. Gyakran teszik, hogy megtalálják a logikai függvények egy adott képletek egyszerűbb képleteket. A legtöbb idézett identitások saját nevét. gyakran nevezik a logika szabályait.

Let - az egyik funkciója. E három feladataikat következő két ekvivalencia (asszociatív és kommutatív törvények).