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 |
Začnite z osnovnimi vrednostmi A=1 in B=0, nato uporabite definicije logičnih operatorjev:
• A ∧ B je resnična samo, če sta oba A in B resnična
• A ∨ B je resnična, če je vsaj eden od A ali B resničen
• ¬A je nasprotje od A
A: 1, B: 0, A ∧ B: 0, A ∨ B: 1, ¬A: 0
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) |
Za kompleksne izraze:
• (P ∨ Q) ∧ (¬P ∨ ¬Q): Najprej izračunaj P ∨ Q = 0 ∨ 1 = 1, nato ¬P ∨ ¬Q = 1 ∨ 0 = 1, končno 1 ∧ 1 = 1
• ¬(P ∧ Q) → (P ∨ Q): P ∧ Q = 0, torej ¬(P ∧ Q) = 1, P ∨ Q = 1, končno 1 → 1 = 1
P: 0, Q: 1, P → Q: 1, Q → P: 0, P ↔ Q: 0
(P ∨ Q) ∧ (¬P ∨ ¬Q): 1, ¬(P ∧ Q) → (P ∨ Q): 1
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 |
Strategija reševanja:
1. Najprej izračunaj A ∧ B za vsako vrstico
2. Nato izračunaj ¬A ∧ ¬B (pozor na negacije!)
3. Končno uporabi OR (∨) med obema rezultatoma
Primer za vrstico 1: A=1, B=1 → A∧B=1, ¬A∧¬B=0∧0=0 → 1∨0=1
Vrstica 1: A∧B=1, ¬A∧¬B=0, rezultat=1
Vrstica 2: A∧B=0, ¬A∧¬B=0, rezultat=0
Vrstica 3: A∧B=0, ¬A∧¬B=0, rezultat=0
Vrstica 4: A∧B=0, ¬A∧¬B=1, rezultat=1
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 |
Oba X in Y sta resnična (1):
• X ∧ Y: Oba sta resnična, torej rezultat je resničen
• ¬X ∨ ¬Y: ¬X=0, ¬Y=0, torej 0 ∨ 0 = 0
• X → ¬Y: X=1, ¬Y=0, torej 1 → 0 = 0
X: 1, Y: 1, X ∧ Y: 1, ¬X ∨ ¬Y: 0, X → ¬Y: 0
Dopolnite resničnostno tabelo za izraz A → B.
| A | B | A → B |
|---|---|---|
| 1 | 1 | |
| 1 | 0 | |
| 0 | 1 | |
| 0 | 0 |
Pravilo implikacije:
A → B je neresnična samo, ko je A resnična in B neresnična
V vseh drugih primerih je resnična!
Pomni: "Iz resnice ne more slediti neresnica"
A → B: 1, 0, 1, 1
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) |
Oba M in N sta neresnična (0):
• M ∨ N = 0 ∨ 0 = 0
• ¬M ∧ ¬N = 1 ∧ 1 = 1
• M ↔ N = 0 ↔ 0 = 1 (oba imata enako vrednost)
• Za kompleksni izraz: ¬(M ∨ N) = ¬0 = 1, nato 1 ∧ 1 = 1
M: 0, N: 0, M ∨ N: 0, ¬M ∧ ¬N: 1, M ↔ N: 1
¬(M ∨ N) ∧ (¬M ∧ ¬N): 1
Dopolnite resničnostno tabelo za izraz A ↔ B (ekvivalenca).
| A | B | A ↔ B |
|---|---|---|
| 1 | 1 | |
| 1 | 0 | |
| 0 | 1 | |
| 0 | 0 |
Pravilo ekvivalence:
A ↔ B je resnična, ko imata A in B enako resničnostno vrednost
Torej: resnična je pri (1,1) in (0,0)
Neresnična je pri (1,0) in (0,1)
A ↔ B: 1, 0, 0, 1
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) |
Za kompleksne izraze z R=1, S=0:
• (R → S) ∨ (S → R): (1→0) ∨ (0→1) = 0 ∨ 1 = 1
• ¬(R ∧ S) ↔ (¬R ∨ ¬S): To je De Morganov zakon - oba dela sta enaka!
• (R ∨ ¬S) ∧ (¬R ∨ S): (1∨1) ∧ (0∨0) = 1 ∧ 0 = 0
R: 1, S: 0
(R → S) ∨ (S → R): 1
¬(R ∧ S) ↔ (¬R ∨ ¬S): 1
(R ∨ ¬S) ∧ (¬R ∨ S): 0
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 |
Pomembna ekvivalenca:
¬A ∨ B je popolnoma ekvivalentno z A → B
To pomeni, da imata vedno enake resničnostne vrednosti
Preverite, da se zadnja dva stolpca ujemata!
Vrstica 1: ¬A=0, ¬A∨B=1, A→B=1
Vrstica 2: ¬A=0, ¬A∨B=0, A→B=0
Vrstica 3: ¬A=1, ¬A∨B=1, A→B=1
Vrstica 4: ¬A=1, ¬A∨B=1, A→B=1
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 |
Logična intuicija:
Če sta oba A in B resnična (A ∧ B), potem je zagotovo vsaj eden resnična (A ∨ B)
Ta izraz je vedno tautologija (vedno resničen)!
Preverite: A ∧ B je vedno "močnejši" pogoj kot A ∨ B
Vrstica 1: A∧B=1, A∨B=1, rezultat=1
Vrstica 2: A∧B=0, A∨B=1, rezultat=1
Vrstica 3: A∧B=0, A∨B=1, rezultat=1
Vrstica 4: A∧B=0, A∨B=0, rezultat=1
To je tautologija!
A: 1, B: 0, A ∧ B: 0, A ∨ B: 1, ¬A: 0
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
Vrstice: (1,0,1), (0,0,0), (0,0,0), (0,1,1)
X: 1, Y: 1, X ∧ Y: 1, ¬X ∨ ¬Y: 0, X → ¬Y: 0
A → B: 1, 0, 1, 1
M: 0, N: 0, M ∨ N: 0, ¬M ∧ ¬N: 1, M ↔ N: 1, Težji: 1
A ↔ B: 1, 0, 0, 1
R: 1, S: 0, Težji: 1, 1, 0
Vrstice: (0,1,1), (0,0,0), (1,1,1), (1,1,1)
Vrstice: (1,1,1), (0,1,1), (0,1,1), (0,0,1) - Tautologija!
