Bulova algebra

Mehr dazu

Matematička logika

von Marta Hutinec

Strukture podataka

von Aleksandra Sobodic

Organigram

von Matea Hatwagner

Matematička logika

von Marta Hutinec

Bulova algebra

Operacije u Bulovoj algebri

Izvedene operacije

EXILI

Iskaz je jednak 1 ako i samo ako je jedna promenljiva jednaka 1. Označava se: x XOR y

NILI

Iskaz je jednak 1 ako i samo ako su obe promenljive jednake 0. Označava se: x NOR y

NI

Iskaz je jednak 0 ako i samo ako su obe promenljive jednake 1. Označava se: x NAND y

Osnovne operacije

Ekvivalencija

Iskaz je tacan ako su i p i q istovemeno tačni ili netačni. Označava se: p <=>q

Implikacija

Iskaz je istinit uvijek, osim ako je p istinito, a q lažno. Označava se: p => q

Negacija

Pretvara tačan iskaz u netačan i obratno. Označava se: ˥x, ‘x

Disjunkcija

Zamenjuje operaciju sabiranja Označava se: x∨y, x+y

Konjungcija

Zamenjuje operaciju mnozenja Označava se: x∧y , x*y