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. (ABCD)(¬A¬B¬C¬D)(A \wedge B \wedge C \wedge D) \vee(\neg A \wedge \neg B \wedge \neg C \wedge \neg D) je .
12.2. (ABCD)(¬A¬B¬C¬D)(A \vee B \vee C \vee D) \wedge(\neg A \wedge \neg B \wedge \neg C \wedge \neg D) je .
12.3. (ABCD)(¬A¬B¬C¬D)(A \vee B \vee C \vee D) \rightarrow(\neg A \wedge \neg B \wedge \neg C \wedge \neg D) je .
12.4. (ABCD)(¬A¬B¬C¬D)(A \vee B \vee C \vee D) \leftrightarrow(\neg A \wedge \neg B \wedge \neg C \wedge \neg D) je .
© 2026, Gradivo.hr