Matematička logika

Mer av detta

CPU

av Patrik Dražić

Matematička logika

av Marta Hutinec

Zapis algoritma

av Dino Bakunić

ZAD 1.

av Matija Draženović

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