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!
Uporabljamo tehnologije, kot so piškotki, za shranjevanje in/ali dostop do podatkov v napravi. To počnemo, da izboljšamo izkušnjo brskanja ter prikazujemo (ne)personalizirane oglase. Soglasje za uporabo teh tehnologij nam omogoča obdelavo podatkov, kot so vedenje pri brskanju ali enolični identifikatorji na tem spletnem mestu. Če soglasja ne podate ali ga prekličete, lahko to negativno vpliva na nekatere funkcije in delovanje spletnega mesta.
