Logika - 2011./12. jesen - 12.

Zadane su sljedeće istinite rečenice.
(a) ¬A→(C→(¬B→D))\neg A \rightarrow(C \rightarrow(\neg B \rightarrow D))
(b) ¬D→(A∨¬C)\neg D \rightarrow(A \vee \neg C)
(c) ¬(C→A)\neg(C \rightarrow A)
Odredite istinitosnu vrijednost rečenica A,B,C,DA, B, C, D upisujući i (za istinito) ili n (za neistinito) ako je tu vrijednost moguće odrediti.
Ako ju nije moguće odrediti, upišite "?" (za neodredivo na temelju dostupnih obavijesti).
12.1. AA je
.

1 bod

12.2. BB je
.

1 bod

12.3. CC je
.

1 bod

12.4. DD je
.

1 bod