Használt egyszerűsítésére tett nyilatkozatok logikai kifejezések , logikai tételek használja ábécé , mint x , y és z képviselni nyilatkozatok az igazság vagy a hazugságokat . Ezeket a tételeket használjuk fel azután, hogy szabályozzák a lehetséges kapcsolatokat , hogy ezek az értékek is , feltételezve, hogy mindegyik csupán a értéke lehet 1 ( igaz) vagy 0 ( hamis ) . Egyváltozós tételek : Matton
Egyváltozós tételek csak az alfanumerikus betű x , amely képviseli az 1 vagy 0, és akkor alkalmazzák, amikor a pontos érték nem ismert . Basic egyváltozós tételek közé x szorozva 0 értéke 0 és x szorozva 1 egyenlő x . Ezek a tételek ugyanazok, mint normál matematika. Egyéb tételek kap konkrétabb . azonban . Például X szorozva x , mindig egyenlő vagy 0 vagy 1 , mert csak egyenlő x 0 vagy 1 is. Továbbá x plusz 1 vagy x plusz x , akkor is, ha mindkét x egyenlő 1 , egyenlő 1. Ez dacol rendszeres matematika és a kiindulópontja az egyedi logika Boole algebra .
Többváltozós tételek
Többváltozós tételek használata számos ábécé , mint x , y és z az értéke 0 és 1 , így több lehetséges ezek kombinációja bináris problémákat. Egyszerű többváltozós tételek megegyeznek az alapvető matematikai szabályokat, mint a tétel , hogy a változók lehet szorozni bármilyen sorrendben , hogy ugyanazt a számot : xyz = yzx = ZYX és így tovább . A fejlettebb tételek , de akkor meg a sajátos logika Boole algebra , mert minden változó csak akkor egyenlő 0 vagy 1. Például x plusz xy egyenlő x . Bonyolultabb multivariables használjanak változók, mint a tétel 13b , amely kimondja, ( w + x ) ( y + z) = wy + WZ + xy + xz .
Boolean algebra
Ezzel szemben a rendszeres algebra számok , logikai algebra az algebra bináris értékek 0 és 1 , amely képviseli az igaz és hamis , vagy igen és nem . Boole algebra gyakran úgy definiálják, mint a logikai rendszer , szemben a matematikai rendszer , mert az általa használt deduktív érvelés annak bizonyítására , hogy egy állítás vagy formula igaz -e vagy sem . A Boole- algebrai rendszer használja az “és “, ” vagy” és a ” nem ” azt jelenti , hogy szaporodnak , és adjunk hozzá szakadék , bár a szabályok nem ugyanaz, mint a szokásos matematika , mert a termék vagy az összes egyenlet összege csak egyenlő vagy 1 0.
Boole tételek : Matton
logikai tételek és Boole algebra találták a 19. században , mint a logikai rendszert, és később is alkalmazták a logikája kapcsolótáblák . Manapság , Boole algebra és logikai tételeket használjuk kereső függvények , ahol a keresési feltételek vonatkoznak az ÉS, VAGY és nem értékeket. Boole algebra is vezet a fejlődés a propozicionális kalkulus , amely elemzi a logikai szerkezetét a természetes nyelv .
