Računalniki Windows Internet

Logične in prave množice. Rešitve. Logična funkcija F je podana z izrazom Logična funkcija je podana z izrazom x y

№1

(x /\ y/\z/\¬w)\/ (x /\ y/\¬z/\¬w)\/ (x /\¬ y/\¬z/\¬w).

rešitev


x /\ y/\z/\¬w – x=1, y=1, z=1, w=0;
x /\ y/\¬z/\¬w – x=1, y=1, z=0, w=0;
x /\¬y/\¬z/\¬w – x=1, y=0, z=0, w=0.
Kot rezultat dobimo 6 enot.
odgovor: 6.

№2 Logična funkcija F je podana z izrazom

(¬x /\ y/\¬z/\w)\/ (x /\ y/\z/\¬w)\/ (x /\¬ y/\¬z/\w).

Stepan je naštel vse nize spremenljivk, za katere ta izraz velja. Koliko enot je napisal Stepan? V odgovor zapiši samo celo število – število enot.

Primer. Naj bo podan izraz x → y, odvisen od dveh spremenljivk x in y. Ta izraz velja za tri nize: (0, 0), (0, 1) in (1, 1). Stepan je napisal 3 enote.

rešitev podobno rešitvi.

№3 Logična funkcija F je podana z izrazom

(x /\ ¬y/\z/\w)\/ (x /\ y/\¬z/\w)\/ (¬x /\ y/\ z/\w).

Stepan je naštel vse nize spremenljivk, za katere ta izraz velja. Koliko enot je napisal Stepan? V odgovor zapiši samo celo število – število enot.

Primer. Naj bo podan izraz x → y, odvisen od dveh spremenljivk x in y. Ta izraz velja za tri nize: (0, 0), (0, 1) in (1, 1). Stepan je napisal 3 enote.

rešitev podobno rešitvi.

№4 Logična funkcija F je podana z izrazom

(¬x /\ ¬y/\z/\w)\/ (¬x /\ ¬y/\¬z/\w)\/ (¬x /\ y/\ z/\¬w).

Stepan je naštel vse nize spremenljivk, za katere ta izraz velja. Koliko enot je napisal Stepan? V odgovor zapiši samo celo število – število enot.

Primer. Naj bo podan izraz x → y, odvisen od dveh spremenljivk x in y. Ta izraz velja za tri nize: (0, 0), (0, 1) in (1, 1). Stepan je napisal 3 enote.

rešitev podobno rešitvi.

№5 Logična funkcija F je podana z izrazom

(¬x /\ y/\¬z/\¬w)\/ (x /\ ¬y/\¬z/\¬w)\/ (¬x /\ ¬y/\ z/\¬w).

Stepan je naštel vse nize spremenljivk, za katere ta izraz velja. Koliko enot je napisal Stepan? V odgovor zapiši samo celo število – število enot.

Primer. Naj bo podan izraz x → y, odvisen od dveh spremenljivk x in y. Ta izraz velja za tri nize: (0, 0), (0, 1) in (1, 1). Stepan je napisal 3 enote.

rešitev podobno rešitvi.

№6 Logična funkcija F je podana z izrazom

(x /\ y/\¬w)\/ (x /\¬ y/\¬z/\¬w).

Stepan je naštel vse nize spremenljivk, za katere ta izraz velja. Koliko enot je napisal Stepan? V odgovor zapiši samo celo število – število enot.

Primer. Naj bo podan izraz x → y, odvisen od dveh spremenljivk x in y. Ta izraz velja za tri nize: (0, 0), (0, 1) in (1, 1). Stepan je napisal 3 enote.

rešitev

Logična funkcija F je resnična, ko je resničen vsaj en izraz v oklepaju. Ker so vse spremenljivke v njih povezane s konjunkcijo, mora biti vsak izraz resničen. Za vsako disjunkcijo zapišimo prave množice.
x /\ y/\¬w – (x=1, y=1, z=1, w=0) in (x=1, y=1, z=0, w=0);
x /\¬y/\¬z/\¬w – x=1, y=1, z=0, w=0.
Kot rezultat dobimo 6 enot.

№7 Logična funkcija F je podana z izrazom

(x /\ y/\z/\¬w)\/ (x /\¬z/\¬w).

Stepan je naštel vse nize spremenljivk, za katere ta izraz velja. Koliko enot je napisal Stepan? V odgovor zapiši samo celo število – število enot.

Primer. Naj bo podan izraz x → y, odvisen od dveh spremenljivk x in y. Ta izraz velja za tri nize: (0, 0), (0, 1) in (1, 1). Stepan je napisal 3 enote.

rešitev podobno rešitvi.

№8 Logična funkcija F je podana z izrazom

(¬x /\ ¬y/\z/\w)\/ (x /\z/\w).

Stepan je naštel vse nize spremenljivk, za katere ta izraz velja. Koliko enot je napisal Stepan? V odgovor zapiši samo celo število – število enot.

Primer. Naj bo podan izraz x → y, odvisen od dveh spremenljivk x in y. Ta izraz velja za tri nize: (0, 0), (0, 1) in (1, 1). Stepan je napisal 3 enote.

rešitev podobno rešitvi.

№9 Logična funkcija F je podana z izrazom

(y /\ ¬z /\ ¬w) \/ (¬x /\ ¬y/\¬z/\w).

Stepan je naštel vse nize spremenljivk, za katere ta izraz velja. Koliko enot je napisal Stepan? V odgovor zapiši samo celo število – število enot.

Primer. Naj bo podan izraz x → y, odvisen od dveh spremenljivk x in y. Ta izraz velja za tri nize: (0, 0), (0, 1) in (1, 1). Stepan je napisal 3 enote.

rešitev podobno rešitvi.

№10 Logična funkcija F je podana z izrazom

(x /\ y /\ ¬z) \/ (¬x /\ ¬y/\¬z).

Stepan je naštel vse nize spremenljivk, za katere ta izraz velja. Koliko enot je napisal Stepan? V odgovor zapiši samo celo število – število enot.

Primer. Naj bo podan izraz x → y, odvisen od dveh spremenljivk x in y. Ta izraz velja za tri nize: (0, 0), (0, 1) in (1, 1). Stepan je napisal 3 enote.

rešitev podobno rešitvi.

№11 Logična funkcija F je podana z izrazom

¬((¬w/\x) → (y /\ z)) \/ ¬((x /\¬ y)→ (¬z\/¬w)).

Stepan je naštel vse nize spremenljivk, za katere ta izraz velja. Koliko enot je napisal Stepan? V odgovor zapiši samo celo število – število enot.

Primer. Naj bo podan izraz x → y, odvisen od dveh spremenljivk x in y. Ta izraz velja za tri nize: (0, 0), (0, 1) in (1, 1). Stepan je napisal 3 enote.

rešitev


¬((¬w/\x) → (y /\ z)) – (x=1, y=1, z=0, w=0) in (x=1, y=0, z=1, w =0);
¬((x /\¬ y)→ (¬z\/¬w)) – (x=1, y=0, z=1, w=1).
Kot rezultat dobimo 5 enot.

№12 Logična funkcija F je podana z izrazom

¬((¬x\/¬y) → (z\/ w)) \/ ¬((x \/ y)→ (z\/¬w)).

Stepan je naštel vse nize spremenljivk, za katere ta izraz velja. Koliko enot je napisal Stepan? V odgovor zapiši samo celo število – število enot.

Primer. Naj bo podan izraz x → y, odvisen od dveh spremenljivk x in y. Ta izraz velja za tri nize: (0, 0), (0, 1) in (1, 1). Stepan je napisal 3 enote.

rešitev

Logična funkcija F je resnična, ko je resničen vsaj en izraz v oklepaju. Ker so vse spremenljivke v njih implicirane, daje pogoj njegove napačnosti resničnost oklepaja. Po zgledu zapišemo prave množice za vsak oklepaj.
¬((¬x\/¬y) → (z \/ w)) – (x=1, y=0, z=0, w=0) in (x=0, y=1, z=0, w=0);
¬((x /\¬ y)→ (¬z\/¬w)) – (x=1, y=0, z=0, w=0).
Kot rezultat dobimo 3 enote.

№13 Logična funkcija F je podana z izrazom

¬(¬(x\/y) → (¬z\/ w)) \/ ¬(¬(x /\ y)→ (z\/¬w)).

Stepan je naštel vse nize spremenljivk, za katere ta izraz velja. Koliko enot je napisal Stepan? V odgovor zapiši samo celo število – število enot.

Primer. Naj bo podan izraz x → y, odvisen od dveh spremenljivk x in y. Ta izraz velja za tri nize: (0, 0), (0, 1) in (1, 1). Stepan je napisal 3 enote.

rešitev

Logična funkcija F je resnična, ko je resničen vsaj en izraz v oklepaju. Ker so vse spremenljivke v njih implicirane, daje pogoj njegove napačnosti resničnost oklepaja. Po zgledu zapišemo prave množice za vsak oklepaj.
¬(¬(x\/y) → (¬z\/ w)) – (x=0, y=0, z=1, w=0);
¬(¬(x /\ y)→ (z\/¬w)) – (x=1, y=0, z=0, w=1), (x=0, y=1, z=0, w=1) in
(x=0, y=0, z=0, w=1).
Kot rezultat dobimo 6 enot.

Na podlagi: demo različice Enotnega državnega izpita iz računalništva za leto 2015 po učbeniku Ljudmile Leonidovne Bosove

V prejšnjem 1. delu smo z vami razpravljali o logičnih operacijah disjunkcije in konjunkcije, vse kar nam preostane je analizirati inverzijo in preiti na reševanje naloge enotnega državnega izpita.

Inverzija

Inverzija- logična operacija, ki vsako izjavo poveže z novo izjavo, katere pomen je nasproten prvotnemu.

Za pisanje inverzije se uporabljajo naslednji znaki: NOT, `¯`, ` ¬ `

Inverzijo določa naslednja tabela resnic:

Inverzijo drugače imenujemo logična negacija.

Vsako zapleteno izjavo lahko zapišemo v obliki logično izražanje— izrazi, ki vsebujejo logične spremenljivke, znake logičnih operatorjev in oklepaje. Logične operacije v logičnem izrazu se izvajajo v naslednjem vrstnem redu: inverzija, konjunkcija, disjunkcija. Z oklepaji lahko spremenite vrstni red operacij.

Logične operacije imajo naslednjo prednost: inverzija, konjunkcija, disjunkcija.

In tako je pred nami naloga št. 2 iz enotnega državnega izpita iz računalništva 2015

Alexandra je izpolnjevala tabelo resnic za izraz F. Uspelo ji je izpolniti le majhen delček tabele:

x1 x2 x3 x4 x5 x6 x7 x8 F
0 1 0
1 0 1
1 1 1

Kakšen izraz je lahko F?

Reševanje problema je veliko lažje, ker je v vsaki različici kompleksnega izraza F samo ena logična operacija: množenje ali seštevanje. V primeru množenja /\ če je vsaj ena spremenljivka enaka nič, mora biti enaka nič tudi vrednost celotnega izraza F. In v primeru dodatka V, če je vsaj ena spremenljivka enaka ena, mora biti vrednost celotnega izraza F enaka 1.

Podatki, ki so v tabeli za vsako od 8 spremenljivk izraza F, so povsem dovolj, da jih rešimo.

Preverimo izraz številka 1:

  • ? /\ 1 /\ ? /\ ? /\ ? /\ ? /\ ? /\ 0 )
  • iz druge vrstice tabele x1=1, x4=0 vidimo, da je F možen in je lahko enak = 1, če so vse druge spremenljivke enake 1 (1 /\ ? /\ ? /\ 1 /\ ? /\ ? /\ ? /\ ? )
  • glede na tretjo vrstico tabele x4=1, x8=1 vidimo, da je F=0 (? /\ ? /\ ? /\ 0 /\ ? /\ ? /\ ? /\ 0 ), v tabeli pa imamo F=1, kar pomeni, da je izraz številka ena za nas ZAGOTOVO NI PRIMEREN.

Preverimo izraz številka 2:

  • iz prve vrstice tabele x2=0, x8=1 vidimo, da je F možen in je lahko enak = 0, če so vse druge spremenljivke enake 0 (? V 0 V ? V ? V ? V ? V ? V 0 )
  • iz druge vrstice tabele x1=1, x4=0 vidimo, da je F = 1 ( 1 V ? V ? V 1 V ? V ? V ? V ? )
  • glede na tretjo vrstico tabele x4=1, x8=1 vidimo, da je F možen in je lahko enak = 1, če je vsaj ena od preostalih spremenljivk enaka 1 ( ? V ? V ? V 0 V ? V ? V ? V 0 )

Preverimo izraz številka 3:

  • iz prve vrstice tabele x2=0, x8=1 vidimo, da je F=0 (? /\ 0 /\ ? /\ ? /\ ? /\ ? /\ ? /\ 1 )
  • iz druge vrstice tabele x1=1, x4=0 vidimo, da je F =0 (0 /\ ? /\ ? /\ 0 /\ ? /\ ? /\ ? /\ ? ), v tabeli pa imamo F=1, kar pomeni, da nam daje izraz številka tri ZAGOTOVO NI PRIMEREN.

Preverimo izraz številka 4:

  • iz prve vrstice tabele x2=0, x8=1 vidimo, da je F=1 ( ? V 1 V ? V ? V ? V ? V ? V 0 ), v tabeli pa imamo F=0, kar pomeni, da nam daje izraz številka štiri ZAGOTOVO NI PRIMEREN.

Pri reševanju naloge na enotnem državnem izpitu morate storiti popolnoma enako: zavrzite tiste možnosti, ki glede na podatke v tabeli zagotovo niso primerne. Preostala možna možnost (kot v našem primeru možnost številka 2) bo pravilen odgovor.





Vse kategorije nalog Preslikava stolpcev in spremenljivk v tabeli resnic

1) Miša je izpolnil resničnostno tabelo funkcije (x ∧ ¬y) ∨ (x ≡ z) ∨ ¬w, vendar je uspel izpolniti le delček treh različnih vrstic, ne da bi sploh označil, kateri stolpec tabele ustreza vsaka od spremenljivk w, x, y, z.

Določite, kateremu stolpcu tabele ustreza posamezna spremenljivka w, x, y, z.

V svoj odgovor napiši črke w, x, y, z v vrstnem redu, v katerem so ustrezni stolpci (najprej črka, ki ustreza prvemu stolpcu, nato črka, ki ustreza drugemu stolpcu itd.). Črke v odgovoru zapiši v vrsto, med črkami ni treba vstavljati ločil.

2) Logična funkcija F je podana z izrazom (x ≡ ¬z) → ((x ∨ w) ≡ y) . Slika prikazuje delno izpolnjen fragment tabele resnic funkcije F, ki vsebuje neponavljajoče se vrstice. Ugotovite, kateri stolpec tabele resnic funkcije F ustreza vsaki od spremenljivk x, y, z, w.

? ? ? ? F
0 0 0
0 0 0
0 0 0 0

3) Logična funkcija F je podana z izrazom (x ∨ y) ∧ ¬z ∧ ¬(z ≡ x) . Slika prikazuje delno izpolnjen fragment tabele resnic funkcije F, ki vsebuje neponavljajoče se vrstice. Ugotovite, kateri stolpec tabele resnic funkcije F ustreza vsaki od spremenljivk x, y, z.

? ? ? F
0 0 1
0 1

4) Logična funkcija F je podana z izrazom (y → x) ∧ (z → y). Slika prikazuje delček resničnostne tabele funkcije F. Ugotovite, kateri stolpec resničnostne tabele funkcije F ustreza vsaki od spremenljivk x, y, z.

? ? ? F
1 0 1 0
0 0 1 1

V svoj odgovor napišite črke x, y, z v vrstnem redu, v katerem so prikazani ustrezni stolpci (najprej - črka, ki ustreza prvemu stolpcu; nato - črka, ki ustreza drugemu stolpcu itd.) Napišite črke v odgovor v vrsti, brez ločil. Ni ga treba vnašati med črke.

5) Logična funkcija F je podana z izrazom x ∧ ¬w ∧ (y ∨ ¬z). Slika prikazuje delček tabele resnic funkcije F, ki vsebuje vse nize argumentov, za katere je funkcija F resnična. Ugotovite, kateri stolpec tabele resnic funkcije F ustreza vsaki od spremenljivk x, y, z, w.

? ? ? ? F
0 0 0 1 1
0 1 0 1 1
0 1 1 1 1

V svoj odgovor napišite črke x, y, z, w v vrstnem redu, v katerem so prikazani ustrezni stolpci (najprej - črka, ki ustreza prvemu stolpcu; nato - črka, ki ustreza drugemu stolpcu itd.) Napišite črke v odgovoru po vrsti, med črkami ni treba postavljati nobenih ločil.

6) Logična funkcija F je podana z izrazom (x ∨ y) ∧ (¬x ∨ y ∨ ¬z) . Ugotovite, kateri stolpec tabele resnic funkcije F ustreza vsaki od spremenljivk x, y, z.

? ? ? F
0 0 0 0
0 0 1 0
0 1 0 1
0 1 1 0
1 0 0 1
1 0 1 1
1 1 0 1
1 1 1 1

V svoj odgovor napišite črke x, y, z v vrstnem redu, v katerem so prikazani ustrezni stolpci. Črke v odgovoru zapiši v vrsto, med črkami ni treba vstavljati ločil.

7) Miša je izpolnil resničnostno tabelo funkcije (¬x ∧ ¬y) ∨ (y≡z) ∨ ¬w, vendar mu je uspelo izpolniti le delček treh različnih vrstic, ne da bi sploh označil, kateri stolpec tabele ustreza na vsako od spremenljivk w, x, y, z.

F
0 0 1 0
0 1 0
0 1 1 0

Določite, kateremu stolpcu tabele ustreza posamezna spremenljivka w, x, y, z. V svoj odgovor napiši črke w, x, y, z v vrstnem redu, v katerem so ustrezni stolpci (najprej črka, ki ustreza prvemu stolpcu, nato črka, ki ustreza drugemu stolpcu itd.). Črke v odgovoru zapiši v vrsto, med črkami ni treba vstavljati ločil.

8) Logična funkcija F je podana z izrazom w ∨ (x → y ∧ ¬z) . Slika prikazuje delno izpolnjen fragment tabele resnic funkcije F, ki vsebuje neponavljajoče se vrstice. Ugotovite, kateri stolpec tabele resnic funkcije F ustreza vsaki od spremenljivk x, y, z, w.

? ? ? ? F
1 0 0
0 1 0
1 1 0

V svoj odgovor napišite črke x, y, z, w v vrstnem redu, v katerem so prikazani ustrezni stolpci. Črke v odgovoru zapiši v vrsto, med črkami ni treba vstavljati ločil.

9) Logična funkcija F je podana z izrazom (x ∧ ¬y) ∨ (y ≡ z) ∨ w. Slika prikazuje delno izpolnjen fragment tabele resnic funkcije F, ki vsebuje neponavljajoče se vrstice. Ugotovite, kateri stolpec tabele resnic funkcije F ustreza vsaki od spremenljivk x, y, z, w.

? ? ? ? F
1 0
1 0
1 1 0

V svoj odgovor napišite črke x, y, z, w v vrstnem redu, v katerem so prikazani ustrezni stolpci. Črke v odgovoru zapiši v vrsto, med črkami ni treba vstavljati ločil.

10) Logična funkcija F je podana z izrazom ¬w ∨ (x ∨ ¬z) ∧ (¬x ∨ ¬y ∨ z). Slika prikazuje delček tabele resnic funkcije F, ki vsebuje vse nize argumentov, za katere je funkcija F napačna. Ugotovite, kateri stolpec tabele resnic funkcije F ustreza vsaki od spremenljivk x, y, z, w.

? ? ? ? F
1 1 0 1 0
1 0 1 0 0
1 0 1 1 0

11) Logična funkcija F je podana z izrazom (¬x ∨ y ∨ z) ∧ (x ∨ ¬y ∨ ¬w). Slika prikazuje delček tabele resnic funkcije F, ki vsebuje vse nize argumentov, za katere je funkcija F napačna. Ugotovite, kateri stolpec tabele resnic funkcije F ustreza vsaki od spremenljivk x, y, z, w.

? ? ? ? F
0 0 0 1 0
0 1 0 1 0
0 1 1 0 0
1 1 1 0 0

V svoj odgovor napišite črke w, x, y, z v vrstnem redu, v katerem so prikazani ustrezni stolpci (najprej - črka, ki ustreza prvemu stolpcu; nato - črka, ki ustreza drugemu stolpcu itd.) Napišite črke v odgovoru po vrsti, med črkami ni treba postavljati nobenih ločil.

12) Logična funkcija F je podana z izrazom ¬y ∨ x ∨ (¬z ∧ w). Slika prikazuje delček tabele resnic funkcije F, ki vsebuje vse nize argumentov, za katere je funkcija F napačna. Ugotovite, kateri stolpec tabele resnic funkcije F ustreza vsaki od spremenljivk x, y, z, w.

? ? ? ? F
0 0 0 1 0
0 0 1 1 0
0 1 1 1 0

V svoj odgovor napišite črke w, x, y, z v vrstnem redu, v katerem so prikazani ustrezni stolpci (najprej - črka, ki ustreza prvemu stolpcu; nato - črka, ki ustreza drugemu stolpcu itd.) Napišite črke v odgovoru po vrsti, med črkami ni treba postavljati nobenih ločil.

13) Logična funkcija F je podana z izrazom ¬x ∧ y ∧ (w → z). Slika prikazuje delček tabele resnic funkcije F, ki vsebuje vse nize argumentov, za katere je funkcija F resnična. Ugotovite, kateri stolpec tabele resnic funkcije F ustreza vsaki od spremenljivk x, y, z, w.

? ? ? ? F
1 0 0 0 1
1 0 1 0 1
1 1 1 0 1

V svoj odgovor napišite črke w, x, y, z v vrstnem redu, v katerem so prikazani ustrezni stolpci (najprej - črka, ki ustreza prvemu stolpcu; nato - črka, ki ustreza drugemu stolpcu itd.) Napišite črke v odgovoru po vrsti, med črkami ni treba postavljati nobenih ločil.

14) Logična funkcija F je podana z izrazom x ∧ ¬y ∧ (¬z ∨ w).

Slika prikazuje delček tabele resnic funkcije F, ki vsebuje vse nize argumentov, za katere je funkcija F resnična. Določite, kateri stolpec tabele resnic funkcije F ustreza vsaki od spremenljivk w, x, y, z

? ? ? ? F
1 0 0 0 1
1 0 1 0 1
1 0 1 1 1

V svoj odgovor napišite črke w, x, y, z v vrstnem redu, v katerem so prikazani ustrezni stolpci (najprej - črka, ki ustreza prvemu stolpcu; nato - črka, ki ustreza drugemu stolpcu itd.) Napišite črke v odgovoru po vrsti, med črkami ni treba postavljati nobenih ločil.

15) Logična funkcija F je podana z izrazom ¬x ∨ y ∨ (¬z ∧ w).

Slika prikazuje delček tabele resnic funkcije F, ki vsebuje vse nize argumentov, za katere je funkcija F napačna. Ugotovite, kateri stolpec tabele resnic funkcije F ustreza vsaki od spremenljivk w, x, y, z.

? ? ? ? F
1 0 0 0 0
1 1 0 0 0
1 1 1 0 0

V svoj odgovor napišite črke w, x, y, z v vrstnem redu, v katerem so prikazani ustrezni stolpci (najprej - črka, ki ustreza prvemu stolpcu; nato - črka, ki ustreza drugemu stolpcu itd.) Napišite črke v odgovoru po vrsti, med črkami ni treba postavljati nobenih ločil.

16) Logična funkcija F je podana z izrazom (x → y) → (¬x ∧ z). Ugotovite, kateri stolpec tabele resnic funkcije F ustreza vsaki od spremenljivk x, y, z.

? ? ? F
0 0 0 0
0 0 1 0
0 1 0 1
0 1 1 1
1 0 0 1
1 0 1 0
1 1 0 1
1 1 1 0

V odgovor napiši črke x, y, z v vrstnem redu, v katerem so ustrezni stolpci, med črkami ni treba postavljati nobenih ločil.

17) Logična funkcija F je podana z izrazom (a ∧ ¬c) ∨ (¬b ∧ ¬c). Ugotovite, kateri stolpec tabele resnic funkcije F ustreza vsaki od spremenljivk a, b, c?

? ? ? F
0 0 0 1
0 0 1 0
0 1 0 0
0 1 1 0
1 0 0 1
1 0 1 0
1 1 0 1
1 1 1 0

18) Logična funkcija F je podana z izrazom (a ∧ ¬c) ∨ (¬a ∧ b ∧ c). Ugotovite, kateri stolpec tabele resnic funkcije F ustreza vsaki od spremenljivk a, b, c?

? ? ? F
0 0 0 0
0 0 1 0
0 1 0 1
0 1 1 1
1 0 0 0
1 0 1 1
1 1 0 0
1 1 1 0

V odgovor napišite črke a, b, c v vrstnem redu, v katerem so ustrezni stolpci, med črkami ni treba postavljati nobenih ločil.

19) Logična funkcija F je podana z izrazom (a ∧ b) ∨ (a ∧¬c). Ugotovite, kateri stolpec tabele resnic funkcije F ustreza vsaki od spremenljivk a, b, c?

? ? ? F
0 0 0 0
0 0 1 0
0 1 0 1
0 1 1 0
1 0 0 0
1 0 1 0
1 1 0 1
1 1 1 1

V odgovor napišite črke a, b, c v vrstnem redu, v katerem so ustrezni stolpci, med črkami ni treba postavljati nobenih ločil.

Logična funkcija F je podan z izrazom x/\ ¬y/\ (¬z\/ w).

Slika prikazuje delček tabele resnic funkcije F ki vsebuje Vse nizi argumentov, za katere funkcija F prav.

Ugotovite, kateri stolpec tabele resnic funkcije F vsaka od spremenljivk ustreza w, x, l, z.

Vpiši črke v svoj odgovor w, x, l, z v vrstnem redu, kot prihajajo

njihovi ustrezni stolpci (prvi – črka, ki ustreza prvemu

stolpec; nato črka, ki ustreza drugemu stolpcu itd.) Črke

V odgovoru pišite v vrstici, med črkami ne postavljajte ločil.

ni potrebno.

Demo različica enotnega državnega izpita USE 2017 - naloga št. 2

rešitev:

Konjunkcija (logično množenje) je resnična, če in samo če so vse trditve resnične. Zato spremenljivka X 1 .

Spremenljivka ¬y mora ustrezati stolpcu, v katerem so vse vrednosti enake 0 .

Disjunkcija (logično seštevanje) dveh trditev je resnična, če in samo če je resnična vsaj ena trditev.
Disjunkcija ¬z\/y z=0, w=1.

Tako spremenljivka ¬z w ustreza stolpcu s spremenljivko 4 (stolpec 4).

Odgovor: zyxw

Demo različica enotnega državnega izpita USE 2016 - naloga št. 2

Logična funkcija F je podan z izrazom (¬z)/\x \/ x/\y. Ugotovite, kateri stolpec tabele resnic funkcije F ustreza vsaki od spremenljivk x, y, z.

V svoj odgovor napišite črke x, y, z v vrstnem redu, v katerem so prikazani ustrezni stolpci (najprej - črka, ki ustreza 1. stolpcu; nato - črka, ki ustreza 2. stolpcu; nato - črka, ki ustreza 3. stolpec). Črke v odgovoru zapiši v vrsto, med črkami ni treba vstavljati ločil.

Primer. Naj bo podan izraz x → y, odvisen od dveh spremenljivk x in y, ter tabela resnic:

Nato 1. stolpec ustreza spremenljivki y, 2. stolpec pa
ustreza spremenljivki x. V odgovor morate napisati: yx.

rešitev:

1. Zapišimo dani izraz v enostavnejšem zapisu:

¬z*x + x*y = x*(¬z + y)

2. Konjunkcija (logično množenje) je resnična, če in samo če so vse trditve resnične. Torej, tako da funkcija ( F) je bilo enako ena ( 1 ), mora biti vsak faktor enak ena ( 1 ). Torej, ko F=1, spremenljivka X mora ustrezati stolpcu, v katerem so vse vrednosti enake 1 .

3. Razmislite (¬z + y), pri F=1 tudi ta izraz je enak 1 (glej točko 2).

4. Disjunkcija (logično seštevanje) dveh trditev je resnična, če in samo če je resnična vsaj ena trditev.
Disjunkcija ¬z\/y v tej vrstici bo res samo, če

  1. z = 0; y = 0 oz y = 1;
  2. z = 1; y = 1

5. Tako spremenljivka ¬z ustreza stolpcu s spremenljivko 1 (1 stolpec), spremenljivko l

Odgovor: zyx

Enotni državni izpit KIM Enotni državni izpit 2016 (zgodnje obdobje)– naloga št. 2

Logična funkcija F je podana z izrazom

(x /\ y /\¬z) \/ (x /\ y /\ z) \/ (x /\¬y /\¬z).

Slika prikazuje delček tabele resnic funkcije F, ki vsebuje vse nize argumentov, za katere je funkcija F resnična. Ugotovite, kateri stolpec tabele resnic funkcije F ustreza vsaki od spremenljivk x, y, z.

V svoj odgovor napišite črke x, y, z v vrstnem redu, v katerem so prikazani ustrezni stolpci (najprej - črka, ki ustreza prvemu stolpcu; nato - črka, ki ustreza drugemu stolpcu itd.) Napišite črke v odgovor v vrsti, brez ločil. Ni ga treba vnašati med črke.

R rešitev:

Zapišimo dani izraz v preprostejšem zapisu:

(x*y*¬z) + (x*y*z) + (x*¬y*¬z)=1

Ta izraz je resničen, če je vsaj eden od (x*y*¬z), (x*y*z), (x*¬y*¬z) enak 1. Konjunkcija (logično množenje) je resnična, če in samo če ko vse izjave so resnične.

Vsaj ena od teh disjunkcij x*y*¬z; x*y*z; x*¬y*¬z bo res samo, če x=1.

Tako spremenljivka X ustreza stolpcu s spremenljivko 2 (stolpec 2).

Pustiti y- spremenljivka 1, z- prem.3. Potem pa v prvem primeru x*¬y*¬z bo res v drugem primeru x*y*¬z, v tretje pa x*y*z.

Odgovor: yxz

Simbol F označuje enega od naslednjih logičnih izrazov iz treh argumentov: X, Y, Z. Podan je fragment resničnostne tabele izraza F (glej tabelo na desni). Kateri izraz se ujema s F?

X Y Z F
0 0 0 0
1 0 1 1
0 1 0 1

1) X ∧ Y ∧ Z 2) ¬X ∨ Y ∨¬Z 3) X ∧ Y ∨ Z 4) X ∨ Y ∧ ¬Z

rešitev:

1) X ∧ Y ∧ Z = 1.0.1 = 0 (ne ujema se v 2. vrstici)

2) ¬X ∨ Y ∨¬Z = ¬0 ∨ 0 ∨ ¬0 = 1+0+1 = 1 (ne ujema se v 1. vrstici)

3) X ∧ Y ∨ Z = 0,1+0 = 0 (ne ujema se v 3. vrstici)

4) X ∨ Y ∧ ¬Z (ustreza F)

X ∨ Y ∧ ¬Z = 0 ∨ 0 ∧ ¬0 = 0+0,1 = 0

X ∨ Y ∧ ¬Z = 1 ∨ 0 ∧ ¬1 = 1+0,0 = 1

X ∨ Y ∧ ¬Z = 0 ∨ 1 ∧ ¬0 = 0+1,1 = 1

Odgovor: 4

Podan je delček tabele resnic izraza F. Kateri izraz ustreza F?

A B C F
0 1 1 1
1 0 0 0
1 0 1 1

1) (A → ¬B) ∨ C 2) (¬A ∨ B) ∧ C 3) (A ∧ B) → C 4) (A ∨ B) → C

rešitev:

1) (A → ¬B) ∨ C = (1 → ¬0) ∨ 0 = (1 → 1) + 0 = 1 + 0 = 1 (ne ujema se v 2. vrstici)

2) (¬A ∨ B) ∧ C = (¬1 ∨ 0) ∧ 1 = (0+0).1 = 0 (ne ujema se v 3. vrstici)

3) (A ∧ B) → C = (1 ∧ 0) → 0 = 0 → 0 = 1 (ne ujema se v 2. vrstici)

4) (A ∨ B) → C (ustreza F)

(A ∨ B) → C = (0 ∨ 1) → 1 = 1

(A ∨ B) → C = (1 ∨ 0) → 0 = 0

(A ∨ B) → C = (1 ∨ 0) → 1 = 1

Odgovor: 4

Podan je logični izraz, ki je odvisen od 6 logičnih spremenljivk:

X1 ∨ ¬X2 ∨ X3 ∨ ¬X4 ∨ X5 ∨ X6

Koliko različnih nizov vrednosti spremenljivk obstaja, za katere je izraz resničen?

1) 1 2) 2 3) 63 4) 64

rešitev:

Napačen izraz samo v 1 primeru: X1=0, X2=1, X3=0, X4=1, X5=0, X6=0

X1 ∨ ¬X2 ∨ X3 ∨ ¬X4 ∨ X5 ∨ X6 = 0 ∨ ¬1 ∨ 0 ∨ ¬1 ∨ 0 ∨ 0 = 0

Skupaj je 2 6 =64 možnosti, kar pomeni res

Odgovor: 63

Podan je fragment resničnostne tabele izraza F.

x1 x2 x3 x4 x5 x6 x7 F
0 1 0 1 1 1 0 0
1 1 0 1 0 1 0 1
0 1 0 1 1 0 1 0

Kateri izraz se ujema s F?

1) x1 ∨ x2 ∨ ¬x3 ∨ x4 ∨ ¬x5 ∨ x6 ∨ ¬x7
2) x1 ∨ ¬x2 ∨ x3 ∨ ¬x4 ∨ ¬x5 ∨ x6 ∨ x7
3) x1 ∧ ¬x2 ∧ x3 ∧ ¬x4 ∧ x5 ∧ ¬x6 ∧ x7
4) x1 ∧ x2 ∧ ¬x3 ∧ x4 ∧ ¬x5 ∧ x6 ∧ ¬x7

rešitev:

1) x1 ∨ x2 ∨ ¬x3 ∨ x4 ∨ ¬x5 ∨ x6 ∨ ¬x7 = 0 + 1 + … = 1 (ne ujema se v 1. vrstici)

2) x1 ∨ ¬x2 ∨ x3 ∨ ¬x4 ∨ ¬x5 ∨ x6 ∨ x7 = 0 + 0 + 0 + 0 + 0 + 1 + 0 = 1 (ne ujema se v 1. vrstici)

3) x1 ∧ ¬x2 ∧ x3 ∧ ¬x4 ∧ x5 ∧ ¬x6 ∧ x7 = 1,0. ...= 0 (ne ujema se v 2. vrstici)

4) x1 ∧ x2 ∧ ¬x3 ∧ x4 ∧ ¬x5 ∧ x6 ∧ ¬x7 (ustreza F)

x1 ∧ x2 ∧ ¬x3 ∧ x4 ∧ ¬x5 ∧ x6 ∧ ¬x7 = 1.1.1.1.1.1.1 = 1

x1 ∧ x2 ∧ ¬x3 ∧ x4 ∧ ¬x5 ∧ x6 ∧ ¬x7 = 0. … = 0

Odgovor: 4

x1 x2 x3 x4 x5 x6 x7 x8 F
0 1 1
1 0 1 0
1 0 1

Kakšen izraz je lahko F?

1) x1 ∧ ¬x2 ∧ x3 ∧ ¬x4 ∧ x5 ∧ x6 ∧ ¬x7 ∧ ¬x8
2) ¬x1 ∨ x2 ∨ x3 ∨ ¬x4 ∨ ¬x5 ∨ ¬x6 ∨ ¬x7 ∨ x8
3) ¬x1 ∧ x2 ∧ ¬x3 ∧ x4 ∧ x5 ∧ ¬x6 ∧ ¬x7 ∧ ¬x8
4) ¬x1 ∨ ¬x2 ∨ ¬x3 ∨ ¬x4 ∨ ¬x5 ∨ ¬x6 ∨ ¬x7 ∨ ¬x8

rešitev:

1) x1 ∧ ¬x2 ∧ x3 ∧ ¬x4 ∧ x5 ∧ x6 ∧ ¬x7 ∧ ¬x8 = x1 . ¬x2. 0 . ... = 0 (ne ujema se v 1. vrstici)

2) ¬x1 ∨ x2 ∨ x3 ∨ ¬x4 ∨ ¬x5 ∨ ¬x6 ∨ ¬x7 ∨ x8 (ustreza F)

3) ¬x1 ∧ x2 ∧ ¬x3 ∧ x4 ∧ x5 ∧ ¬x6 ∧ ¬x7 ∧ ¬x8 = … ¬x7 ∧ ¬x8 = … ¬1 ∧ ¬x8 = … 0 ∧ ¬x8 = 0 (se ne ujema na 1 - th vrstica)

4) ¬x1 ∨ ¬x2 ∨ ¬x3 ∨ ¬x4 ∨ ¬x5 ∨ ¬x6 ∨ ¬x7 ∨ ¬x8 = ¬x1 ∨ ¬x2 ∨ ¬x3 … = ¬1 ∨ ¬x2 ∨ ¬0 .. = 1 (ne tekme v 2. vrstici)

Odgovor: 2

Podan je delček tabele resnic za izraz F:

x1 x2 x3 x4 x5 x6 x7 F
0 0 1 1 0 0 1 0
0 1 0 0 1 1 0 1
0 0 0 0 1 1 1 1
1 0 1 0 1 1 0 1
0 1 1 1 0 1 0 1

Poiščite najmanjše možno število različnih vrstic v popolni resničnostni tabeli tega izraza, v kateri se vrednost x5 ujema s F.

rešitev:

Najmanjše možno število različnih vrstic, v katerih se x5 ujema s F = 4

Odgovor: 4

Podan je delček tabele resnic za izraz F:

x1 x2 x3 x4 x5 x6 x7 x8 F
0 0 1 1 0 0 1 0 0
0 1 0 0 1 1 0 1 1
0 0 0 0 1 1 1 1 1
1 0 1 0 1 1 0 1 1
0 1 1 1 0 1 0 0 1

Poiščite največje možno število različnih vrstic v popolni resničnostni tabeli tega izraza, v katerih vrednost x6 ne sovpada s F.

rešitev:

Največje možno število = 2 8 = 256

Največje možno število različnih vrstic, v katerih se vrednost x6 ne ujema F = 256 – 5 = 251

Odgovor: 251

Podan je delček tabele resnic za izraz F:

x1 x2 x3 x4 x5 x6 x7 F
0 0 1 1 0 0 1 0
0 1 0 0 1 1 0 1
0 0 0 0 1 1 1 1
1 0 1 0 1 1 0 1
0 1 1 1 0 1 0 1

Poiščite največje možno število različnih vrstic popolne resničnostne tabele tega izraza, v katerih vrednost ¬x5 ∨ x1 sovpada s F.

rešitev:

1+0=1 – ne ustreza F

0+0=0 – ne ustreza F

0+0=0 – ne ustreza F

0+1=1 – sovpada s F

1+0=1 – sovpada s F

2 7 = 128 – 3 = 125

Odgovor: 125

Vsak logični izraz A in B je odvisen od istega niza 6 spremenljivk. V tabelah resnic ima vsak od teh izrazov točno 4 enote v stolpcu vrednosti. Kakšno je najmanjše možno število enic v stolpcu vrednosti tabele resnic izraza A ∨ B?

rešitev:

Odgovor: 4

Vsak logični izraz A in B je odvisen od istega niza 7 spremenljivk. V tabelah resnic ima vsak od teh izrazov točno 4 enote v stolpcu vrednosti. Kakšno je največje možno število enic v stolpcu vrednosti tabele resnic izraza A ∨ B?

rešitev:

Odgovor: 8

Vsak logični izraz A in B je odvisen od istega niza 8 spremenljivk. V tabelah resnic ima vsak od teh izrazov točno 5 enot v stolpcu vrednosti. Kakšno je najmanjše možno število ničel v stolpcu vrednosti tabele resnic izraza A ∧ B?

rešitev:

2 8 = 256 – 5 = 251

Odgovor: 251

Vsak logični izraz A in B je odvisen od istega niza 8 spremenljivk. V tabelah resnic ima vsak od teh izrazov natančno 6 enot v stolpcu vrednosti. Kakšno je največje možno število ničel v stolpcu vrednosti tabele resnic izraza A ∧ B?

rešitev:

Odgovor: 256

Logična izraza A in B sta odvisna od istega niza 5 spremenljivk. V tabelah resnic obeh izrazov ni ujemajočih se vrstic. Koliko enic bo vsebovanih v stolpcu vrednosti tabele resnic izraza A ∧ B?

rešitev:

V tabelah resnic obeh izrazov ni ujemajočih se vrstic.

Odgovor: 0

Logična izraza A in B sta odvisna od istega niza 6 spremenljivk. V tabelah resnic obeh izrazov ni ujemajočih se vrstic. Koliko enic bo vsebovanih v stolpcu vrednosti resničnostne tabele izraza A ∨ B?

rešitev:

Odgovor: 64

Vsak od logičnih izrazov A in B je odvisen od istega niza 7 spremenljivk. V tabelah resnic obeh izrazov ni ujemajočih se vrstic. Kakšno je največje možno število ničel v stolpcu vrednosti tabele resnic izraza ¬A ∨ B?

rešitev:

A=1,B=0 => ¬0 ∨ 0 = 0 + 0 = 0

Odgovor: 128

Vsak od logičnih izrazov F in G vsebuje 7 spremenljivk. V tabelah resnic izrazov F in G je natanko 8 enakih vrstic in natanko 5 jih ima v stolpcu vrednosti 1. Koliko vrstic tabele resnic za izraz F ∨ G vsebuje 1 v stolpcu vrednosti ?

rešitev:

Obstaja natanko 8 enakih vrstic in natanko 5 od njih ima 1 v stolpcu vrednosti.

To pomeni, da imajo natanko 3 v stolpcu vrednosti 0.

Odgovor: 125

Logična funkcija F je podana z izrazom (a ∧ ¬c) ∨ (¬b ∧ ¬c). Ugotovite, kateri stolpec tabele resnic funkcije F ustreza vsaki od spremenljivk a, b, c.

? ? ? F
0 0 0 1
0 0 1 0
0 1 0 0
0 1 1 0
1 0 0 1
1 0 1 0
1 1 0 1
1 1 1 0

V svoj odgovor napišite črke a, b, c v vrstnem redu, v katerem so prikazani ustrezni stolpci.

rešitev:

(a . ¬c) + (¬b . ¬c)

Ko je c 1, je F nič, tako da je zadnji stolpec c.

Za določitev prvega in drugega stolpca lahko uporabimo vrednosti iz 3. vrstice.

(a . 1) + (¬b . 1) = 0

Odgovor: ABC

Logična funkcija F je podana z izrazom (a ∧ c)∨ (¬a ∧ (b ∨ ¬c)). Ugotovite, kateri stolpec tabele resnic funkcije F ustreza vsaki od spremenljivk a, b, c.

Na podlagi dejstva, da ko je a=0 in c=0, potem je F=0, in podatkov iz druge vrstice, lahko sklepamo, da tretji stolpec vsebuje b.

Odgovor: kabina

Logična funkcija F je podana z x ∧ (¬y ∧ z ∧ ¬w ∨ y ∧ ¬z). Slika prikazuje delček tabele resnic funkcije F, ki vsebuje vse nize argumentov, za katere je funkcija F resnična. Ugotovite, kateri stolpec tabele resnic funkcije F ustreza vsaki od spremenljivk x, y, z, w.

? ? ? ? F
0 1 0 1 1
0 1 1 0 1
1 1 0 1 1

V svoj odgovor napišite črke x, y, z, w v vrstnem redu, v katerem so prikazani ustrezni stolpci.

rešitev:

x ∧ (¬y ∧ z ∧ ¬w ∨ y ∧ ¬z)

x. (¬y . z . ¬w . y . ¬z)

Na podlagi dejstva, da je pri x=0, potem F=0, lahko sklepamo, da drugi stolpec vsebuje x.

Odgovor: wxzy

Vir zaposlitve: Rešitev 2437. Enotni državni izpit 2017. Računalništvo. V.R. Leschiner. 10 možnosti.

Naloga 2. Logična funkcija F je podana z izrazom . Ugotovite, kateri stolpec tabele resnic funkcije F ustreza vsaki od spremenljivk x, y, z.

V svoj odgovor napišite črke x, y, z v vrstnem redu, v katerem so prikazani ustrezni stolpci (najprej črka, ki ustreza 1. stolpcu, nato črka, ki ustreza 2. stolpcu, nato črka, ki ustreza 3. stolpec). Črke v odgovoru zapiši v vrsto, med črkami ni treba vstavljati ločil.

rešitev.

Prepišimo izraz za F ob upoštevanju prioritet operacij negacije, konjunkcije in disjunkcije:

.

Razmislite o 4. vrstici tabele (1,1,0)=0. Iz tega lahko vidimo, da mora biti na tretjem mestu ali spremenljivka y ali spremenljivka z, sicer bo drugi oklepaj vseboval 1, kar bo vodilo do vrednosti F=1. Zdaj razmislite o 5. vrstici tabele (0,0,1)=1. Ker mora biti x na prvem ali drugem mestu, bo prvi oklepaj dal 1 le, če je y na 3. mestu. Glede na to, da je drugi oklepaj vedno enak 0, potem dobimo F=1 zaradi 1 v prvem oklepaju. Tako smo ugotovili, da je y na 3. mestu. Nazadnje razmislite o 7. vrstici tabele (1,0,1)=0. Tukaj je y=1 in za F=0 je treba imeti z=0 in x=1, zato je x na 1. mestu, z pa na drugem.