LOGIČKE OPERACIJE

KONJUNKCIJA SUDOVA

OZNAKA: ∧

istinit točno onda kada su oba suda A i B istinita

WolframAlpha: A&&B ili A and B

konjunkcija

DISJUNKCIJA SUDOVA

OZNAKA: ∨

Sud A∨B je lažan točno onda kada su oba suda A i B lažna

WolframAlpha: A||B

disjunkcija

EKSKLUZIVNA DISJUNKCIJA SUDOVA

OZNAKA: image

WolframAlpha: A xor B

Istinit je točno onda kada je istinit samo jedan od sudova A i B

image

Negacija sudova

OZNAKA: ¬

WolframAlpha: !A ILI NOT A

Istinit samo onda kada je sud A lažan

image

IMPLIKACIJA SUDOVA

OZNAKA: →

WolframAlpha: A implies B

Sud A → B je lažan točno onda kada je A istinit i B lažan

image

EKVIVALENCIJA SUDOVA

OZNAKA:⇔

WolframAlpha:A ⇔ B

Sud A ⇔ B je istinit točno onda kada su oba suda A i B istinita ili kada su oba suda A i B lažna

image