Egyenértékű átszámítási képlet meghatározó Boole-függvény
Definíció. Képletek és több úgynevezett egyenértékű, ha a különböző funkciók egyenlő, azaz. E .. A felvétel azt jelenti, hogy a képlet, és ekvivalens.
Itt van egy lista az egyenértékűség (identitás) jellemző tulajdonságait egy sor elemi függvények (főleg beállítva).
Jelöli bármely funkcióját. . . Lényegében csak a szimbólum az identitás jelentése azonos.
1. A funkció az a tulajdonsága asszociatív:
2. A funkció az a tulajdonsága kommutativitás:
3. elosztó törvényeket tartsa az összefüggésben és a diszjunkció:
4. Az alábbi közötti kapcsolatok tagadás, összefüggésben és a diszjunkció:
5. a következő tulajdonságokkal összefüggésben és a szétválás:
1. Annak érdekében, hogy egyszerűsítsék képletek egyetértenek abban, hogy a művelet több művelet. t. e. Ha nincs zárójelben, a művelet először. majd. Például a rekordot jelent.
2. Az asszociatív törvény lehetővé helyett képleteket. használja a kifejezést. amely nem képlet, de lehet alakítani azáltal, hogy a konzolok, és a funkcionális tulajdonságok nem változnak, nem számít, mennyire rendezett a zárójelben.
Néha használja a következő jelöléseket:
A jövőben a megjegyzések 1. és 2. fogjuk használni nem formulák és kifejezéseket, amelyek eltérnek a képletek, amelyek néhol hiányzik zárójelbe. Ezek a kifejezések is néha fogják hívni képleteket.
Definíció. Funkciót. egyenlő. Ez az úgynevezett kettős funkciója működjön.
Táblázat a kettős funkció nyert táblázat invertáló funkciók (azaz. E. cseréjével 0 1 és 1 0) a funkció az oszlop és a saját invertáló (1. táblázat).