Logika - 2017./18. jesen - 12.

Koji je iskaz (sud) valjan i zadovoljiv, koji je zadovoljiv, ali nije valjan, a koji nije zadovoljiv? Pored iskaza (suda) koji je valjan i zadovoljiv upišite VV, pored iskaza (suda) koji je zadovoljiv, ali nije valjan upišite ZZ, a pored iskaza (suda) koji nije zadovoljiv upišite NN.
12.1. (A∧B∧C∧D)∨(¬A∧¬B∧¬C∧¬D)(A \wedge B \wedge C \wedge D) \vee(\neg A \wedge \neg B \wedge \neg C \wedge \neg D) je
.

1 bod

12.2. (A∨B∨C∨D)∧(¬A∧¬B∧¬C∧¬D)(A \vee B \vee C \vee D) \wedge(\neg A \wedge \neg B \wedge \neg C \wedge \neg D) je
.

1 bod

12.3. (A∨B∨C∨D)→(¬A∧¬B∧¬C∧¬D)(A \vee B \vee C \vee D) \rightarrow(\neg A \wedge \neg B \wedge \neg C \wedge \neg D) je
.

1 bod

12.4. (A∨B∨C∨D)↔(¬A∧¬B∧¬C∧¬D)(A \vee B \vee C \vee D) \leftrightarrow(\neg A \wedge \neg B \wedge \neg C \wedge \neg D) je
.

1 bod