Matematička logika

Honelako gehiago

Matematička logika

Marija Smolčić‑k egina

Z2_MM_Nikola_Smrcek

Nikola Smrček‑k egina

ZAD 1.

Matija Draženović‑k egina

Evidencija računalne opreme

Krešimir Kovačić‑k egina

Matematička logika

Logičke operacije

Izvedene

Isključivo ili

Dvostruka implikacija

Ekvivalencija

Implikacija

Osnovne

Disjunkcija

Matematičko zbrajanje

Konjunkcija

Matematičko množenje

Negacija

Izjava(Sud)-tvrdnja za koju možemo potvrditi da li je istinita ili lažna

T(1)

F(0)

Neutralni element

*

P*P=P

P*1=P

P*0=0

+

P+P=P

P+1=1

P+0=P

Rješenje

Kontradikcija

-sve kombinacije su lažne

Tautologija

- sve kombinacije su istinite

Drugi naziv je Booleova logika