1 od 2

Osnove logike

Interaktivne logične vaje

Naloga 1

Naj bo izjava A resnična (1), izjava B pa neresnična (0). Dopolnite preglednico z logičnimi operatorji.

Izjava Resničnostna vrednost
A
B
A ∧ B
A ∨ B
¬A

Naloga 2

Naj bo izjava P neresnična (0), izjava Q pa resnična (1). Izračunajte resničnostne vrednosti.

Izjava Resničnostna vrednost
P
Q
P → Q
Q → P
P ↔ Q
(P ∨ Q) ∧ (¬P ∨ ¬Q)
¬(P ∧ Q) → (P ∨ Q)

Naloga 3

Dopolnite resničnostno tabelo za izraz (A ∧ B) ∨ (¬A ∧ ¬B).

A B A ∧ B ¬A ∧ ¬B (A ∧ B) ∨ (¬A ∧ ¬B)
1 1
1 0
0 1
0 0

Naloga 4

Naj bo izjava X resnična (1), izjava Y pa resnična (1). Izračunajte resničnostne vrednosti.

Izjava Resničnostna vrednost
X
Y
X ∧ Y
¬X ∨ ¬Y
X → ¬Y

Naloga 5

Dopolnite resničnostno tabelo za izraz A → B.

A B A → B
1 1
1 0
0 1
0 0

Naloga 6

Naj bo izjava M neresnična (0), izjava N pa neresnična (0). Izračunajte resničnostne vrednosti.

Izjava Resničnostna vrednost
M
N
M ∨ N
¬M ∧ ¬N
M ↔ N
¬(M ∨ N) ∧ (¬M ∧ ¬N)

Naloga 7

Dopolnite resničnostno tabelo za izraz A ↔ B (ekvivalenca).

A B A ↔ B
1 1
1 0
0 1
0 0

Naloga 8

Naj bo izjava R resnična (1), izjava S pa neresnična (0). Izračunajte kompleksne logične izraze.

Izjava Resničnostna vrednost
R
S
(R → S) ∨ (S → R)
¬(R ∧ S) ↔ (¬R ∨ ¬S)
(R ∨ ¬S) ∧ (¬R ∨ S)

Naloga 9

Dopolnite resničnostno tabelo za izraz ¬A ∨ B (ekvivalentno A → B).

A B ¬A ¬A ∨ B A → B
1 1
1 0
0 1
0 0

Naloga 10

Končna izzivalna naloga! Dopolnite resničnostno tabelo za izraz (A ∧ B) → (A ∨ B).

A B A ∧ B A ∨ B (A ∧ B) → (A ∨ B)
1 1
1 0
0 1
0 0

Ključ rešitev

Naloga 1:

A: 1, B: 0, A ∧ B: 0, A ∨ B: 1, ¬A: 0

Naloga 2:

P: 0, Q: 1, P → Q: 1, Q → P: 0, P ↔ Q: 0

Težji: (P ∨ Q) ∧ (¬P ∨ ¬Q): 1, ¬(P ∧ Q) → (P ∨ Q): 1

Naloga 3:

Vrstice: (1,0,1), (0,0,0), (0,0,0), (0,1,1)

Naloga 4:

X: 1, Y: 1, X ∧ Y: 1, ¬X ∨ ¬Y: 0, X → ¬Y: 0

Naloga 5:

A → B: 1, 0, 1, 1

Naloga 6:

M: 0, N: 0, M ∨ N: 0, ¬M ∧ ¬N: 1, M ↔ N: 1, Težji: 1

Naloga 7:

A ↔ B: 1, 0, 0, 1

Naloga 8:

R: 1, S: 0, Težji: 1, 1, 0

Naloga 9:

Vrstice: (0,1,1), (0,0,0), (1,1,1), (1,1,1)

Naloga 10:

Vrstice: (1,1,1), (0,1,1), (0,1,1), (0,0,1) - Tautologija!