Iskazni racun Flashcards
1
Q
Iskaz
A
.
2
Q
Tablice implikacije, negacije, ekvivalencije, konjukcije, disjunkcije, ekskluzivne disjunkcije
A
.
3
Q
Iskazna formula
A
.
4
Q
Valuacija v
A
.
5
Q
Tautologija
A
.
6
Q
Kontradikcija
A
.
7
Q
5 tautologija
A
.
8
Q
5 kontradikcija
A
.
9
Q
Semanticki ekvivalente formule
A
.
10
Q
Semanticka posledica
A
.
11
Q
Literal
A
.
12
Q
konjukt/disjunkt
A
.
13
Q
KNF/DNF
A
.
14
Q
Bulova funkcija
A
.
15
Q
SKNF / SDNF
A
.