informatika - matematička logika
A • 0
0
A • Ā
0
A + 1
1
A + Ā
1
A + 0
A
A + A
A
A • 1
A
A • A
A
Ā- =
A
logičke formule
dvije logičke formule su ekvivalentne ili jednake ako imaju istu istinitosnu vrijednost za svaku interpretaciju
logički izraz
kombinacija logičkih izjava; možemo ih zamijeniti logičkim varijablama, te nad logičkim varijablama možemo izvoditi razne operacije čije rezultate prikazujemo u tablici istinitosti
složeni logički sustavi
kombiniranjem osnovnih logičkih operacija dobivamo složene logičke operacije
minimizacija
pojednostavljanje složenog logičkog izraza i nju koristimo kod Booleove algebre
tautologija
složeni logički izraz koji je istinit za sve interpretacije
kontradikcija
složeni logički izraz koji je lažan za sve interpretacije
izjava
svaka tvrdnja za koju se točno može utvrditi je li istinita ili lažna