Bulova algebra

更多类似内容

Matematička logika

由Marta Hutinec

zadatak1_mmap

由ante blazevic

zaposlenici

由Petar Crnjak

Matematička logika

由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