Zadani su sljedeći iskazi (propozicije):
(a) $A \leftrightarrow(B \vee C)$
(b) $A \rightarrow \neg C$
(c) $C \rightarrow \neg A$.
Ako je skup što ga sačinjavaju zadani iskazi (a), (b) i (c) zadovoljiv (konzistentan), dopunite odgovor 12.1.
Ako skup što ga sačinjavaju zadani iskazi (a), (b) i (c) nije zadovoljiv, dopunite odgovor 12.2.
12.1. Ako je skup zadanih iskaza zadovoljiv, navedite neko vrjednovanje iskaznih (propozicijskih) slova koje zadovoljava zadani skup dopunjujući sljedeće tvrdnje riječima 'istinito' ili 'neistinito'.
12.2. Ako skup zadanih iskaza nije zadovoljiv, navedite neko vrjednovanje iskaznih (propozicijskih) slova pod kojih je iskaz (b) neistinit dopunjujući sljedeće tvrdnje riječima 'istinito' ili 'neistinito'.