DOMAĆA ZADAĆA:

1. Jesu li iskazi zadovoljivi. Za koje tumačenje je iskaz neistinit.

a) (A   B)  ( B  A)
b) (Z   G)  ( (G   Z))
c) (W  (E C))  (C  E)

2. Pomoći istinitosne tablice provjeri valjanost sljedećeg zaključka:

Ako nije gužva na internetu, podne je.

Gužva je na internetu ili poslužitelj ne radi.
Poslužitelj radi.___________________________
Podne je.

3. Uz svaki ponuđeni iskaz na crtu upišite samo jedan od ponuđenih odgovora. Smatrate li da je
iskaz tautologija, upišite T, ako smatrate da je iskaz kontradikcija, upišite K, a ako smatrate
da je iskaz zadovoljiv (ali ne i tautološki), upišite Z. Zadatak se priznaje samo ako su točno
ispisane istinitosne tablice.
a) ((Pᴧ┐Q) ᴧ ┐P) → (P v R) _________
b) ((P ᴧ ┐Q) → (P →Q)) ↔ ((PᴧR) v (P v ┐R))____________
c) ¬(¬¬Q ᴧ ¬Q) → ((P v ¬Q) ᴧ ¬ (Pv ¬P))__________

4. ↓ je logički operator koji se naziva dvonijek (binegacija). Definiran je sljedećom tablicom, gdje
i predstavlja istinu, a n neistinu.

A B A↓B
i i n
i n n
n i n
n n i

Iskazima na lijevoj strani pridružite odgovarajuće istovrijedne (ekvivalentne) iskaze s desne

strane upisujući na praznu crtu ispod iskaza odgovarajuće kombinacije brojeva i slova, na
primjer 1a. (Zadatak se priznaje samo ako su točno ispisane istinitosne tablice).

1. A ᴧ B a) ((A ↓B) ↓ (A ↓ B)) ↓ (A ↓ B)

2. (A → B) ᴧ (B v B) b) A ↓ A
3. ((A ᴧ B) ᴧ ¬A) v (¬A ᴧ¬A) c) ((A ↓ B) ↓ (A ↓ A)) ↓ (B ↓ B)

4. ¬(((B → A) v B) v ((A →B) ᴧ ¬B)) d) (A ↓ A) ↓ (B ↓ B)

5. ((A ᴧ B) → A) ↔ (B ᴧ ¬ A) e) (( A ↓ A) ↓ B) ↓ (B ↓ B)
________________________________________________________________