100 likes | 343 Vues
Alapfogalmak. Állítás , vagy kijelentés az a mondat, amely egyértelműen igaz, vagy hamis. Logikai művelet olyan eljárás, amely egy vagy több kijelentésből (művelet tagjai) olyan kijelentést képez (eredmény), amelynek igaz vagy hamis voltát a tagok logikai értéke egyértelműen meghatározza.
E N D
Alapfogalmak Állítás, vagy kijelentés az a mondat, amely egyértelműen igaz, vagy hamis. Logikai művelet olyan eljárás, amely egy vagy több kijelentésből (művelet tagjai) olyan kijelentést képez (eredmény), amelynek igaz vagy hamis voltát a tagok logikai értéke egyértelműen meghatározza.
Logikai műveletek Konjunkció [Λ] (összekapcsolás) „P és Q” kijelentés Diszjunkció [V] (szétválasztás) „P vagy Q” kijelentés Negáció [¬] (tagadás) „Nem igaz, hogy P” kijelentés
Logikai műveletek Implikáció [→] „Ha P, akkor Q” (ígéret) Ekvivalencia [↔] „Ha P akkor Q, és ha Q akkor P” Antivalencia [] „Nem igaz, hogy ha P akkor Q és ha Q akkor P” Webb-féle művelet [↓] (NOR) „Sem P, sem Q” Sheffer-féle művelet [|] (NAND) „Nem P vagy nem Q”
Logikai függvény Az eddigi használt műveleteket tekinthetjük olyan két-, vagy többváltozós függvényeknek is, melyek az {1,0} ({igaz, hamis}) halmazon vannak értelmezve, és értékei az {1,0} halmazból valók. Az ilyen típusú függvényeket igazságfüggvényeknek (logikai függvényeknek), vagy Boole-függvényeknek nevezzük. Megadható függvények száma n-változós logikai függvények esetén:
Logikai áramkörök A B Soros kapcsolás: „És” kapcsolat van a két kapcsoló közt. (konjunkció) Párhuzamos kapcsolás: „Vagy” kapcsolat van a két kapcsoló közt. (diszjunkció) A B
Logikai kapuk P P & ÉS Q Q P P 1 VAGY Q Q P 1 P NEM P & Q
P 1 1 S & & & Q 1