Osobine logičkih operacija

\neg (\neg a) = a

\neg ⊥ = ⊤

\neg ⊤ = ⊥

a \lor ⊥ = a

a \land ⊤ = a

a \lor \neg a = ⊤

a \land \neg a = ⊥

Kommutativnost

a \lor b = b \lor a

a \land b = b \land a

Asocijativnost

(a \lor b) \lor c = a \lor (b \lor c)

(a \land b) \land c = a \land (b \land c)

Distributivnost

a \lor (b \land c) = (a \lor b) \land (a \lor c)

a \land (b \lor c) = (a \land b) \lor (a \land c)

Apsorptivnost

a \lor (a \land b) = a

a \land (a \lor b) = a

Idempotentnost

a \lor a = a

a \land a = a

De Morganovi zakoni

\neg (a \lor b) = \neg a \land \neg b

\neg (a \land b) = \neg a \lor \neg b

Ključne reči: Osobine logičkih operacija

Opšte informacije
Simboli, odnosi u matematici
Teorija brojeva
Skupovi brojeva
Prosti brojevi - Faktorizacija složenih brojeva
Pravila deljivosti brojeva
Najveći zajednički delilac i najmanji zajednicki sadržalac
Operacije sa racionalnim brojevima
Binomna teorema
Binomna teorema
Kombinatorika
Permutacija
Kombinacija
Varijacija
Skupovi
Skupovi
Broj elemenata skupova
Osobine skupovnih operacija
Dekartov proizvod
Relacije i njihove osobine
Logika
Logičke operacije i tablica vrednosti
Osobine logičkih operacija
Grafovi
Teorija grafova