Η λογική συνάρτηση F δίνεται από την έκφραση. Λογική και αληθινά σύνολα

17.10.2021

Έκδοση επίδειξης του Unified State Exam 2019 – εργασία No. 2

Ο Misha συμπλήρωσε τον πίνακα αλήθειας της συνάρτησης (¬x /\ ¬y) \/ (y≡z) \/ ¬w, αλλά κατάφερε μόνο να συμπληρώσει ένα τμήμα τριών διαφορετικών γραμμών, χωρίς καν να υποδείξει ποια στήλη του πίνακα αντιστοιχεί σε καθεμία από τις μεταβλητές w, x,
y, z.

Προσδιορίστε σε ποια στήλη πίνακα αντιστοιχεί κάθε μεταβλητή w, x, y, z.
Στην απάντησή σας, γράψτε τα γράμματα w, x, y, z με τη σειρά που εμφανίζονται οι αντίστοιχες στήλες τους (πρώτα το γράμμα που αντιστοιχεί στην πρώτη στήλη, μετά το γράμμα που αντιστοιχεί στη δεύτερη στήλη κ.λπ.). Γράμματα
Στην απάντησή σας, γράψτε στη σειρά δεν χρειάζεται να βάλετε διαχωριστικά μεταξύ των γραμμάτων.
Παράδειγμα. Εάν η συνάρτηση δινόταν από την έκφραση ¬x \/ y, ανάλογα με δύο μεταβλητές, και το τμήμα του πίνακα θα έμοιαζε με

τότε η πρώτη στήλη θα αντιστοιχεί στη μεταβλητή y και η δεύτερη στήλη θα αντιστοιχεί στη μεταβλητή x. Η απάντηση έπρεπε να γραφτεί yx.

(¬x ¬y)+(y≡z)+¬w=0

w=1 w πρέπει να είναι αληθές. w - τελευταίο

Το y και το z πρέπει να είναι διαφορετικά, άρα πριν από το τελευταίο είναι x. τα δύο πρώτα είναι y και z ή z και y.

Το y και το x δεν μπορούν να είναι ταυτόχρονα ψευδές.

Απάντηση: zyxw

Έκδοση επίδειξης του Unified State Exam 2018 – εργασία No. 2

Λογική λειτουργίαΤο F δίνεται από την έκφραση ¬x \/ y \/ (¬z /\ w). Το σχήμα δείχνει ένα τμήμα του πίνακα αλήθειας της συνάρτησης F, που περιέχει όλα τα σύνολα ορισμάτων για τα οποία η συνάρτηση F είναι ψευδής. Να προσδιορίσετε ποια στήλη του πίνακα αληθείας της συνάρτησης F αντιστοιχεί σε καθεμία από τις μεταβλητές w, x, y, z

Στην απάντησή σας, γράψτε τα γράμματα w, x, y, z με τη σειρά με την οποία εμφανίζονται οι αντίστοιχες στήλες τους (πρώτα - το γράμμα που αντιστοιχεί στην πρώτη στήλη, μετά - το γράμμα που αντιστοιχεί στη δεύτερη στήλη, κ.λπ.) Γράψτε τα γράμματα στην απάντηση στη σειρά, Δεν χρειάζεται να βάλετε διαχωριστικά μεταξύ των γραμμάτων. Παράδειγμα. Αν η συνάρτηση δόθηκε με την έκφραση ¬x\/y, ανάλογα με δύο μεταβλητές: x και y, και δόθηκε ένα τμήμα του πίνακα αληθείας της, που περιέχει όλα τα σύνολα ορισμάτων για τα οποία η συνάρτηση είναι αληθής.

Τότε η πρώτη στήλη θα αντιστοιχεί στη μεταβλητή y και η δεύτερη στήλη θα αντιστοιχεί στη μεταβλητή x. Η απάντηση έπρεπε να γραφτεί: yx.

Απάντηση: xzwy

Λογική λειτουργία φάδίνεται από την έκφραση x/\ ¬y/\ (¬z\/ w).

Το σχήμα δείχνει ένα τμήμα του πίνακα αλήθειας της συνάρτησης φάπου περιέχει Ολοισύνολα ορισμάτων για τα οποία η συνάρτηση φάαληθής.

Προσδιορίστε ποια στήλη του πίνακα αληθείας της συνάρτησης φάκαθεμία από τις μεταβλητές αντιστοιχεί w, x, y, z.

Γράψε τα γράμματα στην απάντησή σου w, x, y, zμε τη σειρά που έρχονται

οι αντίστοιχες στήλες τους (πρώτη – το γράμμα που αντιστοιχεί στην πρώτη

στήλη; μετά το γράμμα που αντιστοιχεί στη δεύτερη στήλη κ.λπ.) Γράμματα

Στην απάντησή σας, γράψτε στη σειρά, μην βάλετε διαχωριστικά μεταξύ των γραμμάτων.

δεν χρειάζεται.

Έκδοση επίδειξης του Unified State Exam 2017 - εργασία No. 2

Διάλυμα:

Ένας σύνδεσμος (λογικός πολλαπλασιασμός) είναι αληθής αν και μόνο αν όλες οι προτάσεις είναι αληθείς. Επομένως η μεταβλητή Χ 1 .

Μεταβλητός ¬yπρέπει να ταιριάζει με τη στήλη στην οποία όλες οι τιμές είναι ίσες 0 .

Ένας διαχωρισμός (λογική προσθήκη) δύο προτάσεων είναι αληθής εάν και μόνο εάν τουλάχιστον μία πρόταση είναι αληθής.
Διαχώριση ¬z\/y z=0, w=1.

Έτσι, η μεταβλητή ¬z wαντιστοιχεί στη στήλη με τη μεταβλητή 4 (στήλη 4).

Απάντηση: zyxw

Έκδοση επίδειξης του Unified State Exam 2016 - εργασία No. 2

Λογική λειτουργία φάδίνεται από την έκφραση (¬z)/\x \/ x/\y. Να προσδιορίσετε ποια στήλη του πίνακα αληθείας της συνάρτησης F αντιστοιχεί σε καθεμία από τις μεταβλητές x, y, z.

Στην απάντησή σας, γράψτε τα γράμματα x, y, z με τη σειρά με την οποία εμφανίζονται οι αντίστοιχες στήλες τους (πρώτα - το γράμμα που αντιστοιχεί στην 1η στήλη, μετά - το γράμμα που αντιστοιχεί στη 2η στήλη, μετά - το γράμμα που αντιστοιχεί στην 3η στήλη στήλη). Γράψτε τα γράμματα στην απάντηση στη σειρά, δεν χρειάζεται να βάλετε διαχωριστικά μεταξύ των γραμμάτων.

Παράδειγμα. Έστω μια παράσταση x → y, ανάλογα με δύο μεταβλητές x και y, και έναν πίνακα αλήθειας:

Τότε η 1η στήλη αντιστοιχεί στη μεταβλητή y και η 2η στήλη
αντιστοιχεί στη μεταβλητή x. Στην απάντηση πρέπει να γράψετε: yx.

Διάλυμα:

1. Ας το γράψουμε για αυτή η έκφρασημε απλούστερο συμβολισμό:

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

2. Ο σύνδεσμος (λογικός πολλαπλασιασμός) είναι αληθής αν και μόνο αν όλες οι προτάσεις είναι αληθείς. Επομένως, έτσι ώστε η συνάρτηση ( φά) ήταν ίσο με ένα ( 1 ), κάθε παράγοντας πρέπει να είναι ίσος με ένα ( 1 ). Έτσι, όταν F=1, μεταβλητή Χπρέπει να ταιριάζει με τη στήλη στην οποία όλες οι τιμές είναι ίσες 1 .

3. Σκεφτείτε (¬z + y), στο F=1αυτή η έκφραση είναι επίσης ίση με 1 (βλ. σημείο 2).

4. Ο διαχωρισμός (λογική πρόσθεση) δύο προτάσεων είναι αληθής αν και μόνο αν τουλάχιστον μία πρόταση είναι αληθής.
Διαχώριση ¬z\/yσε αυτή τη γραμμή θα ισχύει μόνο αν

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

5. Έτσι, η μεταβλητή ¬zαντιστοιχεί σε στήλη με μεταβλητή 1 (1 στήλη), μεταβλητή y

Απάντηση: zyx

KIM Unified State Exam 2016 (αρχική περίοδος)– εργασία Νο. 2

Η λογική συνάρτηση F δίνεται από την έκφραση

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

Το σχήμα δείχνει ένα τμήμα του πίνακα αλήθειας της συνάρτησης F, που περιέχει όλα τα σύνολα ορισμάτων για τα οποία η συνάρτηση F είναι αληθής. Να προσδιορίσετε ποια στήλη του πίνακα αληθείας της συνάρτησης F αντιστοιχεί σε καθεμία από τις μεταβλητές x, y, z.

Στην απάντησή σας, γράψτε τα γράμματα x, y, z με τη σειρά που εμφανίζονται οι αντίστοιχες στήλες τους (πρώτα - το γράμμα που αντιστοιχεί στην πρώτη στήλη, μετά - το γράμμα που αντιστοιχεί στη δεύτερη στήλη, κ.λπ.) Γράψτε τα γράμματα στο απαντήστε στη σειρά, χωρίς διαχωριστικά Δεν χρειάζεται να το βάλετε ανάμεσα σε γράμματα.

R διάλυμα:

Ας γράψουμε τη δεδομένη έκφραση με απλούστερο συμβολισμό:

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

Αυτή η έκφραση είναι αληθής όταν τουλάχιστον ένα από τα (x*y*¬z), (x*y*z), (x*¬y*¬z) ισούται με 1. Ο σύνδεσμος (λογικός πολλαπλασιασμός) είναι αληθής αν και μόνο αν όταν όλες οι δηλώσεις είναι αληθείς.

Τουλάχιστον ένας από αυτούς τους διαχωρισμούς x*y*¬z; x*y*z; x*¬y*¬zθα είναι αλήθεια μόνο αν x=1.

Έτσι, η μεταβλητή Χαντιστοιχεί στη στήλη με τη μεταβλητή 2 (στήλη 2).

Αφήνω y-μεταβλητη 1, z-πρεμ.3. Στη συνέχεια, στην πρώτη περίπτωση x*¬y*¬zθα ισχύει στη δεύτερη περίπτωση x*y*¬z, και στο τρίτο x*y*z.

Απάντηση: yxz

Το σύμβολο F υποδηλώνει μία από τις ακόλουθες λογικές εκφράσεις από τρία ορίσματα: X, Y, Z. Δίνεται ένα τμήμα του πίνακα αλήθειας της έκφρασης F (δείτε τον πίνακα στα δεξιά). Ποια έκφραση ταιριάζει με το 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

Διάλυμα:

1) X ∧ Y ∧ Z = 1.0.1 = 0 (δεν ταιριάζει στη 2η γραμμή)

2) ¬X ∨ Y ∨¬Z = ¬0 ∨ 0 ∨ ¬0 = 1+0+1 = 1 (δεν ταιριάζει στην 1η γραμμή)

3) X ∧ Y ∨ Z = 0,1+0 = 0 (δεν ταιριάζει στην 3η γραμμή)

4) X ∨ Y ∧ ¬Z (αντιστοιχεί στο 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

Απάντηση: 4

Δίνεται ένα θραύσμα του πίνακα αλήθειας της έκφρασης F. Ποια έκφραση αντιστοιχεί στην 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

Διάλυμα:

1) (A → ¬B) ∨ C = (1 → ¬0) ∨ 0 = (1 → 1) + 0 = 1 + 0 = 1 (δεν ταιριάζει στη 2η γραμμή)

2) (¬A ∨ B) ∧ C = (¬1 ∨ 0) ∧ 1 = (0+0).1 = 0 (δεν ταιριάζει στην 3η γραμμή)

3) (A ∧ B) → C = (1 ∧ 0) → 0 = 0 → 0 = 1 (δεν ταιριάζει στη 2η γραμμή)

4) (A ∨ B) → C (αντιστοιχεί στο F)

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

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

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

Απάντηση: 4

Δίνεται μια λογική έκφραση που εξαρτάται από 6 λογικές μεταβλητές:

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

Πόσα διαφορετικά σύνολα τιμών μεταβλητών υπάρχουν για τα οποία η έκφραση είναι αληθής;

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

Διάλυμα:

Λανθασμένη έκφραση μόνο σε 1 περίπτωση: 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

Υπάρχουν 2 6 =64 επιλογές συνολικά, που σημαίνει αλήθεια

Απάντηση: 63

Δίνεται τμήμα του πίνακα αληθείας της έκφρασης F.

x1 x2 x3 x4 x5 x6 x7 φά
0 1 0 1 1 1 0 0
1 1 0 1 0 1 0 1
0 1 0 1 1 0 1 0

Ποια έκφραση ταιριάζει με το 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

Διάλυμα:

1) x1 ∨ x2 ∨ ¬x3 ∨ x4 ∨ ¬x5 ∨ x6 ∨ ¬x7 = 0 + 1 + … = 1 (δεν ταιριάζει στην 1η γραμμή)

2) x1 ∨ ¬x2 ∨ x3 ∨ ¬x4 ∨ ¬x5 ∨ x6 ∨ x7 = 0 + 0 + 0 + 0 + 0 + 1 + 0 = 1 (δεν ταιριάζει στην 1η γραμμή)

3) x1 ∧ ¬x2 ∧ x3 ∧ ¬x4 ∧ x5 ∧ ¬x6 ∧ x7 = 1,0. ...= 0 (δεν ταιριάζει στη 2η γραμμή)

4) x1 ∧ x2 ∧ ¬x3 ∧ x4 ∧ ¬x5 ∧ x6 ∧ ¬x7 (αντιστοιχεί στο 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

Απάντηση: 4

x1 x2 x3 x4 x5 x6 x7 x8 φά
0 1 1
1 0 1 0
1 0 1

Τι έκφραση μπορεί να είναι η 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

Διάλυμα:

1) x1 ∧ ¬x2 ∧ x3 ∧ ¬x4 ∧ x5 ∧ x6 ∧ ¬x7 ∧ ¬x8 = x1 . ¬x2. 0 . ... = 0 (δεν ταιριάζει στην 1η γραμμή)

2) ¬x1 ∨ x2 ∨ x3 ∨ ¬x4 ∨ ¬x5 ∨ ¬x6 ∨ ¬x7 ∨ x8 (αντιστοιχεί στο F)

3) ¬x1 ∧ x2 ∧ ¬x3 ∧ x4 ∧ x5 ∧ ¬x6 ∧ ¬x7 ∧ ¬x8 = … ¬x7 ∧ ¬x8 = … ¬1 ∧ ¬x8 = … 0 ∧ 0 (1¬x8 δεν ταιριάζει - η γραμμή)

4) ¬x1 ∨ ¬x2 ∨ ¬x3 ∨ ¬x4 ∨ ¬x5 ∨ ¬x6 ∨ ¬x7 ∨ ¬x8 = ¬x1 ∨ ¬x2 ∨ ¬x3 … = ¬1 ∨ ∨ ∨ = ¬x2 αγώνες στη 2η γραμμή)

Απάντηση: 2

Δίνεται ένα τμήμα του πίνακα αλήθειας για την έκφραση F:

x1 x2 x3 x4 x5 x6 x7 φά
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

Καθορίστε τον ελάχιστο δυνατό αριθμό διακριτών συμβολοσειρών πλήρες τραπέζιαλήθεια αυτής της έκφρασης, στην οποία η τιμή του x5 συμπίπτει με το F.

Διάλυμα:

Ελάχιστος δυνατός αριθμός διακριτών σειρών στις οποίες το x5 ταιριάζει με F = 4

Απάντηση: 4

Δίνεται ένα τμήμα του πίνακα αλήθειας για την έκφραση F:

x1 x2 x3 x4 x5 x6 x7 x8 φά
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

Βρείτε τον μέγιστο δυνατό αριθμό διακριτών σειρών στον πλήρη πίνακα αληθείας αυτής της παράστασης στον οποίο η τιμή x6 δεν συμπίπτει με το F.

Διάλυμα:

Μέγιστος δυνατός αριθμός = 2 8 = 256

Ο μέγιστος δυνατός αριθμός διαφορετικών σειρών στις οποίες η τιμή x6 δεν ταιριάζει με F = 256 - 5 = 251

Απάντηση: 251

Δίνεται ένα τμήμα του πίνακα αλήθειας για την έκφραση F:

x1 x2 x3 x4 x5 x6 x7 φά
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

Βρείτε τον μέγιστο δυνατό αριθμό διαφορετικών σειρών του πλήρους πίνακα αληθείας αυτής της παράστασης στον οποίο η τιμή ¬x5 ∨ x1 συμπίπτει με το F.

Διάλυμα:

1+0=1 - δεν ταιριάζει με το F

0+0=0 - δεν ταιριάζει με το F

0+0=0 - δεν ταιριάζει με το F

0+1=1 - ίδιο με το F

1+0=1 - ίδιο με το F

2 7 = 128 — 3 = 125

Απάντηση: 125

Κάθε έκφραση Boole A και B εξαρτάται από το ίδιο σύνολο 6 μεταβλητών. Στους πίνακες αλήθειας, κάθε μία από αυτές τις εκφράσεις έχει ακριβώς 4 μονάδες στη στήλη τιμών. Ποιος είναι ο ελάχιστος δυνατός αριθμός μονάδων στη στήλη τιμών του πίνακα αληθείας της παράστασης A ∨ B;

Διάλυμα:

Απάντηση: 4

Κάθε έκφραση Boole A και B εξαρτάται από το ίδιο σύνολο 7 μεταβλητών. Στους πίνακες αλήθειας, κάθε μία από αυτές τις εκφράσεις έχει ακριβώς 4 μονάδες στη στήλη τιμών. Ποιος είναι ο μέγιστος δυνατός αριθμός μονάδων στη στήλη τιμών του πίνακα αληθείας της παράστασης A ∨ B;

Διάλυμα:

Απάντηση: 8

Κάθε έκφραση Boole A και B εξαρτάται από το ίδιο σύνολο 8 μεταβλητών. Στους πίνακες αλήθειας, κάθε μία από αυτές τις εκφράσεις έχει ακριβώς 5 μονάδες στη στήλη τιμών. Ποιος είναι ο ελάχιστος δυνατός αριθμός μηδενικών στη στήλη τιμών του πίνακα αληθείας της παράστασης A ∧ B;

Διάλυμα:

2 8 = 256 — 5 = 251

Απάντηση: 251

Κάθε έκφραση Boole A και B εξαρτάται από το ίδιο σύνολο 8 μεταβλητών. Στους πίνακες αλήθειας, κάθε μία από αυτές τις εκφράσεις έχει ακριβώς 6 μονάδες στη στήλη τιμής. Ποιος είναι ο μέγιστος δυνατός αριθμός μηδενικών στη στήλη τιμών του πίνακα αληθείας της παράστασης A ∧ B;

Διάλυμα:

Απάντηση: 256

Οι παραστάσεις Boole A και B εξαρτώνται η καθεμία από το ίδιο σύνολο 5 μεταβλητών. Δεν υπάρχουν αντίστοιχες σειρές στους πίνακες αλήθειας και των δύο παραστάσεων. Πόσες θα περιέχονται στη στήλη τιμών του πίνακα αληθείας της παράστασης A ∧ B;

Διάλυμα:

Δεν υπάρχουν αντίστοιχες σειρές στους πίνακες αλήθειας και των δύο παραστάσεων.

Απάντηση: 0

Οι παραστάσεις Boole A και B εξαρτώνται η καθεμία από το ίδιο σύνολο 6 μεταβλητών. Δεν υπάρχουν αντίστοιχες σειρές στους πίνακες αλήθειας και των δύο παραστάσεων. Πόσες θα περιέχονται στη στήλη τιμών του πίνακα αληθείας της παράστασης A ∨ B;

Διάλυμα:

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

Όταν το c είναι 1, το F είναι μηδέν, οπότε η τελευταία στήλη είναι c.

Για να προσδιορίσουμε την πρώτη και τη δεύτερη στήλη, μπορούμε να χρησιμοποιήσουμε τις τιμές από την 3η σειρά.

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

Απάντηση: ABC

Η λογική συνάρτηση F δίνεται από το (a ∧ c)∨ (¬a ∧ (b ∨ ¬c)). Να προσδιορίσετε ποια στήλη του πίνακα αληθείας της συνάρτησης F αντιστοιχεί σε καθεμία από τις μεταβλητές a, b, c.

¬α. σι
? ? ? φά
0 0 0 1
0 0 1 1
0 1 0 0
0 1 1 0
1 0 0 0
1 0 1 1
1 1 0 1 0
1 1 1

Με βάση το γεγονός ότι όταν a=0 και c=0, τότε F=0, και τα δεδομένα από τη δεύτερη σειρά, μπορούμε να συμπεράνουμε ότι η τρίτη στήλη περιέχει σι.

Απάντηση: καμπίνα

Η λογική συνάρτηση F δίνεται από x ∧ (¬y ∧ z ∧ ¬w ∨ y ∧ ¬z). Το σχήμα δείχνει ένα τμήμα του πίνακα αλήθειας της συνάρτησης F, που περιέχει όλα τα σύνολα ορισμάτων για τα οποία η συνάρτηση F είναι αληθής. Να προσδιορίσετε ποια στήλη του πίνακα αληθείας της συνάρτησης F αντιστοιχεί σε καθεμία από τις μεταβλητές x, y, z, w.

? ? ? ? φά
0 1 0 1 1
0 1 1 0 1
1 1 0 1 1

Στην απάντησή σας, γράψτε τα γράμματα x, y, z, w με τη σειρά που εμφανίζονται οι αντίστοιχες στήλες τους.

Διάλυμα:

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

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

Με βάση το γεγονός ότι στο x=0, μετά F=0, μπορούμε να συμπεράνουμε ότι η δεύτερη στήλη περιέχει x.

Απάντηση: wxzy

Λογική λειτουργία φάδίνεται από την έκφραση x/\ ¬y/\ (¬z\/ w).

Το σχήμα δείχνει ένα τμήμα του πίνακα αλήθειας της συνάρτησης φάπου περιέχει Ολοισύνολα ορισμάτων για τα οποία η συνάρτηση φάαληθής.

Προσδιορίστε ποια στήλη του πίνακα αληθείας της συνάρτησης φάκαθεμία από τις μεταβλητές αντιστοιχεί w, x, y, z.

Γράψε τα γράμματα στην απάντησή σου w, x, y, zμε τη σειρά που έρχονται

οι αντίστοιχες στήλες τους (πρώτη – το γράμμα που αντιστοιχεί στην πρώτη

στήλη; μετά το γράμμα που αντιστοιχεί στη δεύτερη στήλη κ.λπ.) Γράμματα

Στην απάντησή σας, γράψτε στη σειρά, μην βάλετε διαχωριστικά μεταξύ των γραμμάτων.

δεν χρειάζεται.

Έκδοση επίδειξης του Unified State Examination USE 2017 – εργασία No. 2

Διάλυμα:

Ένας σύνδεσμος (λογικός πολλαπλασιασμός) είναι αληθής αν και μόνο αν όλες οι προτάσεις είναι αληθείς. Επομένως η μεταβλητή Χ 1 .

Μεταβλητός ¬yπρέπει να ταιριάζει με τη στήλη στην οποία όλες οι τιμές είναι ίσες 0 .

Ένας διαχωρισμός (λογική προσθήκη) δύο προτάσεων είναι αληθής εάν και μόνο εάν τουλάχιστον μία πρόταση είναι αληθής.
Διαχώριση ¬z\/y z=0, w=1.

Έτσι, η μεταβλητή ¬z wαντιστοιχεί στη στήλη με τη μεταβλητή 4 (στήλη 4).

Απάντηση: zyxw

Έκδοση επίδειξης του Unified State Examination USE 2016 – εργασία No. 2

Λογική λειτουργία φάδίνεται από την έκφραση (¬z)/\x \/ x/\y. Να προσδιορίσετε ποια στήλη του πίνακα αληθείας της συνάρτησης F αντιστοιχεί σε καθεμία από τις μεταβλητές x, y, z.

Στην απάντησή σας, γράψτε τα γράμματα x, y, z με τη σειρά με την οποία εμφανίζονται οι αντίστοιχες στήλες τους (πρώτα - το γράμμα που αντιστοιχεί στην 1η στήλη, μετά - το γράμμα που αντιστοιχεί στη 2η στήλη, μετά - το γράμμα που αντιστοιχεί στην 3η στήλη στήλη). Γράψτε τα γράμματα στην απάντηση στη σειρά, δεν χρειάζεται να βάλετε διαχωριστικά μεταξύ των γραμμάτων.

Παράδειγμα. Έστω μια παράσταση x → y, ανάλογα με δύο μεταβλητές x και y, και έναν πίνακα αλήθειας:

Τότε η 1η στήλη αντιστοιχεί στη μεταβλητή y και η 2η στήλη
αντιστοιχεί στη μεταβλητή x. Στην απάντηση πρέπει να γράψετε: yx.

Διάλυμα:

1. Ας γράψουμε τη δεδομένη έκφραση με απλούστερο συμβολισμό:

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

2. Ο σύνδεσμος (λογικός πολλαπλασιασμός) είναι αληθής αν και μόνο αν όλες οι προτάσεις είναι αληθείς. Επομένως, έτσι ώστε η συνάρτηση ( φά) ήταν ίσο με ένα ( 1 ), κάθε παράγοντας πρέπει να είναι ίσος με ένα ( 1 ). Έτσι, όταν F=1, μεταβλητή Χπρέπει να ταιριάζει με τη στήλη στην οποία όλες οι τιμές είναι ίσες 1 .

3. Σκεφτείτε (¬z + y), στο F=1αυτή η έκφραση είναι επίσης ίση με 1 (βλ. σημείο 2).

4. Ο διαχωρισμός (λογική πρόσθεση) δύο προτάσεων είναι αληθής αν και μόνο αν τουλάχιστον μία πρόταση είναι αληθής.
Διαχώριση ¬z\/yσε αυτή τη γραμμή θα ισχύει μόνο αν

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

5. Έτσι, η μεταβλητή ¬zαντιστοιχεί σε στήλη με μεταβλητή 1 (1 στήλη), μεταβλητή y

Απάντηση: zyx

KIM Unified State Examination Unified State Exam 2016 (πρώιμη περίοδος)– εργασία Νο. 2

Η λογική συνάρτηση F δίνεται από την έκφραση

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

Το σχήμα δείχνει ένα τμήμα του πίνακα αλήθειας της συνάρτησης F, που περιέχει όλα τα σύνολα ορισμάτων για τα οποία η συνάρτηση F είναι αληθής. Να προσδιορίσετε ποια στήλη του πίνακα αληθείας της συνάρτησης F αντιστοιχεί σε καθεμία από τις μεταβλητές x, y, z.

Στην απάντησή σας, γράψτε τα γράμματα x, y, z με τη σειρά που εμφανίζονται οι αντίστοιχες στήλες τους (πρώτα - το γράμμα που αντιστοιχεί στην πρώτη στήλη, μετά - το γράμμα που αντιστοιχεί στη δεύτερη στήλη, κ.λπ.) Γράψτε τα γράμματα στο απαντήστε στη σειρά, χωρίς διαχωριστικά Δεν χρειάζεται να το βάλετε ανάμεσα σε γράμματα.

R διάλυμα:

Ας γράψουμε τη δεδομένη έκφραση με απλούστερο συμβολισμό:

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

Αυτή η έκφραση είναι αληθής όταν τουλάχιστον ένα από τα (x*y*¬z), (x*y*z), (x*¬y*¬z) ισούται με 1. Ο σύνδεσμος (λογικός πολλαπλασιασμός) είναι αληθής αν και μόνο αν όταν όλες οι δηλώσεις είναι αληθείς.

Τουλάχιστον ένας από αυτούς τους διαχωρισμούς x*y*¬z; x*y*z; x*¬y*¬zθα είναι αλήθεια μόνο αν x=1.

Έτσι, η μεταβλητή Χαντιστοιχεί στη στήλη με τη μεταβλητή 2 (στήλη 2).

Αφήνω y-μεταβλητη 1, z-πρεμ.3. Στη συνέχεια, στην πρώτη περίπτωση x*¬y*¬zθα ισχύει στη δεύτερη περίπτωση x*y*¬z, και στο τρίτο x*y*z.

Απάντηση: yxz

Το σύμβολο F υποδηλώνει μία από τις ακόλουθες λογικές εκφράσεις από τρία ορίσματα: X, Y, Z. Δίνεται ένα τμήμα του πίνακα αλήθειας της έκφρασης F (δείτε τον πίνακα στα δεξιά). Ποια έκφραση ταιριάζει με το 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

Διάλυμα:

1) X ∧ Y ∧ Z = 1.0.1 = 0 (δεν ταιριάζει στη 2η γραμμή)

2) ¬X ∨ Y ∨¬Z = ¬0 ∨ 0 ∨ ¬0 = 1+0+1 = 1 (δεν ταιριάζει στην 1η γραμμή)

3) X ∧ Y ∨ Z = 0,1+0 = 0 (δεν ταιριάζει στην 3η γραμμή)

4) X ∨ Y ∧ ¬Z (αντιστοιχεί στο 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

Απάντηση: 4

Δίνεται ένα θραύσμα του πίνακα αλήθειας της έκφρασης F. Ποια έκφραση αντιστοιχεί στην 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

Διάλυμα:

1) (A → ¬B) ∨ C = (1 → ¬0) ∨ 0 = (1 → 1) + 0 = 1 + 0 = 1 (δεν ταιριάζει στη 2η γραμμή)

2) (¬A ∨ B) ∧ C = (¬1 ∨ 0) ∧ 1 = (0+0).1 = 0 (δεν ταιριάζει στην 3η γραμμή)

3) (A ∧ B) → C = (1 ∧ 0) → 0 = 0 → 0 = 1 (δεν ταιριάζει στη 2η γραμμή)

4) (A ∨ B) → C (αντιστοιχεί στο F)

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

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

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

Απάντηση: 4

Δίνεται μια λογική έκφραση που εξαρτάται από 6 λογικές μεταβλητές:

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

Πόσα διαφορετικά σύνολα τιμών μεταβλητών υπάρχουν για τα οποία η έκφραση είναι αληθής;

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

Διάλυμα:

Λανθασμένη έκφραση μόνο σε 1 περίπτωση: 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

Υπάρχουν 2 6 =64 επιλογές συνολικά, που σημαίνει αλήθεια

Απάντηση: 63

Δίνεται τμήμα του πίνακα αληθείας της έκφρασης F.

x1 x2 x3 x4 x5 x6 x7 φά
0 1 0 1 1 1 0 0
1 1 0 1 0 1 0 1
0 1 0 1 1 0 1 0

Ποια έκφραση ταιριάζει με το 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

Διάλυμα:

1) x1 ∨ x2 ∨ ¬x3 ∨ x4 ∨ ¬x5 ∨ x6 ∨ ¬x7 = 0 + 1 + … = 1 (δεν ταιριάζει στην 1η γραμμή)

2) x1 ∨ ¬x2 ∨ x3 ∨ ¬x4 ∨ ¬x5 ∨ x6 ∨ x7 = 0 + 0 + 0 + 0 + 0 + 1 + 0 = 1 (δεν ταιριάζει στην 1η γραμμή)

3) x1 ∧ ¬x2 ∧ x3 ∧ ¬x4 ∧ x5 ∧ ¬x6 ∧ x7 = 1,0. ...= 0 (δεν ταιριάζει στη 2η γραμμή)

4) x1 ∧ x2 ∧ ¬x3 ∧ x4 ∧ ¬x5 ∧ x6 ∧ ¬x7 (αντιστοιχεί στο 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

Απάντηση: 4

x1 x2 x3 x4 x5 x6 x7 x8 φά
0 1 1
1 0 1 0
1 0 1

Τι έκφραση μπορεί να είναι η 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

Διάλυμα:

1) x1 ∧ ¬x2 ∧ x3 ∧ ¬x4 ∧ x5 ∧ x6 ∧ ¬x7 ∧ ¬x8 = x1 . ¬x2. 0 . ... = 0 (δεν ταιριάζει στην 1η γραμμή)

2) ¬x1 ∨ x2 ∨ x3 ∨ ¬x4 ∨ ¬x5 ∨ ¬x6 ∨ ¬x7 ∨ x8 (αντιστοιχεί στο F)

3) ¬x1 ∧ x2 ∧ ¬x3 ∧ x4 ∧ x5 ∧ ¬x6 ∧ ¬x7 ∧ ¬x8 = … ¬x7 ∧ ¬x8 = … ¬1 ∧ ¬x8 = … 0 ∧ 0 (1¬x8 δεν ταιριάζει - η γραμμή)

4) ¬x1 ∨ ¬x2 ∨ ¬x3 ∨ ¬x4 ∨ ¬x5 ∨ ¬x6 ∨ ¬x7 ∨ ¬x8 = ¬x1 ∨ ¬x2 ∨ ¬x3 … = ¬1 ∨ ∨ ∨ = ¬x2 αγώνες στη 2η γραμμή)

Απάντηση: 2

Δίνεται ένα τμήμα του πίνακα αλήθειας για την έκφραση F:

x1 x2 x3 x4 x5 x6 x7 φά
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

Βρείτε τον ελάχιστο δυνατό αριθμό διαφορετικών σειρών στον πλήρη πίνακα αλήθειας αυτής της παράστασης στον οποίο η τιμή x5 ταιριάζει με το F.

Διάλυμα:

Ελάχιστος δυνατός αριθμός διακριτών σειρών στις οποίες το x5 ταιριάζει με F = 4

Απάντηση: 4

Δίνεται ένα τμήμα του πίνακα αλήθειας για την έκφραση F:

x1 x2 x3 x4 x5 x6 x7 x8 φά
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

Βρείτε τον μέγιστο δυνατό αριθμό διακριτών σειρών στον πλήρη πίνακα αληθείας αυτής της παράστασης στον οποίο η τιμή x6 δεν συμπίπτει με το F.

Διάλυμα:

Μέγιστος δυνατός αριθμός = 2 8 = 256

Ο μέγιστος δυνατός αριθμός διαφορετικών σειρών στις οποίες η τιμή x6 δεν ταιριάζει με F = 256 – 5 = 251

Απάντηση: 251

Δίνεται ένα τμήμα του πίνακα αλήθειας για την έκφραση F:

x1 x2 x3 x4 x5 x6 x7 φά
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

Βρείτε τον μέγιστο δυνατό αριθμό διαφορετικών σειρών του πλήρους πίνακα αληθείας αυτής της παράστασης στον οποίο η τιμή ¬x5 ∨ x1 συμπίπτει με το F.

Διάλυμα:

1+0=1 – δεν ταιριάζει με το F

0+0=0 – δεν ταιριάζει με το F

0+0=0 – δεν ταιριάζει με το F

0+1=1 – συμπίπτει με το F

1+0=1 – συμπίπτει με το F

2 7 = 128 – 3 = 125

Απάντηση: 125

Κάθε έκφραση Boole A και B εξαρτάται από το ίδιο σύνολο 6 μεταβλητών. Στους πίνακες αλήθειας, κάθε μία από αυτές τις εκφράσεις έχει ακριβώς 4 μονάδες στη στήλη τιμών. Ποιος είναι ο ελάχιστος δυνατός αριθμός μονάδων στη στήλη τιμών του πίνακα αληθείας της παράστασης A ∨ B;

Διάλυμα:

Απάντηση: 4

Κάθε έκφραση Boole A και B εξαρτάται από το ίδιο σύνολο 7 μεταβλητών. Στους πίνακες αλήθειας, κάθε μία από αυτές τις εκφράσεις έχει ακριβώς 4 μονάδες στη στήλη τιμών. Ποιος είναι ο μέγιστος δυνατός αριθμός μονάδων στη στήλη τιμών του πίνακα αληθείας της παράστασης A ∨ B;

Διάλυμα:

Απάντηση: 8

Κάθε έκφραση Boole A και B εξαρτάται από το ίδιο σύνολο 8 μεταβλητών. Στους πίνακες αλήθειας, κάθε μία από αυτές τις εκφράσεις έχει ακριβώς 5 μονάδες στη στήλη τιμών. Ποιος είναι ο ελάχιστος δυνατός αριθμός μηδενικών στη στήλη τιμών του πίνακα αληθείας της παράστασης A ∧ B;

Διάλυμα:

2 8 = 256 – 5 = 251

Απάντηση: 251

Κάθε έκφραση Boole A και B εξαρτάται από το ίδιο σύνολο 8 μεταβλητών. Στους πίνακες αλήθειας, κάθε μία από αυτές τις εκφράσεις έχει ακριβώς 6 μονάδες στη στήλη τιμής. Ποιος είναι ο μέγιστος δυνατός αριθμός μηδενικών στη στήλη τιμών του πίνακα αληθείας της παράστασης A ∧ B;

Διάλυμα:

Απάντηση: 256

Οι παραστάσεις Boole A και B εξαρτώνται η καθεμία από το ίδιο σύνολο 5 μεταβλητών. Δεν υπάρχουν αντίστοιχες σειρές στους πίνακες αλήθειας και των δύο παραστάσεων. Πόσες θα περιέχονται στη στήλη τιμών του πίνακα αληθείας της παράστασης A ∧ B;

Διάλυμα:

Δεν υπάρχουν αντίστοιχες σειρές στους πίνακες αλήθειας και των δύο παραστάσεων.

Απάντηση: 0

Οι παραστάσεις Boole A και B εξαρτώνται η καθεμία από το ίδιο σύνολο 6 μεταβλητών. Δεν υπάρχουν αντίστοιχες σειρές στους πίνακες αλήθειας και των δύο παραστάσεων. Πόσες θα περιέχονται στη στήλη τιμών του πίνακα αληθείας της παράστασης A ∨ B;

Διάλυμα:

Απάντηση: 64

Οι παραστάσεις Boole A και B εξαρτώνται η καθεμία από το ίδιο σύνολο 7 μεταβλητών. Δεν υπάρχουν αντίστοιχες σειρές στους πίνακες αλήθειας και των δύο παραστάσεων. Ποιος είναι ο μέγιστος δυνατός αριθμός μηδενικών στη στήλη τιμών του πίνακα αληθείας της παράστασης ¬A ∨ B;

Διάλυμα:

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

Απάντηση: 128

Κάθε μία από τις Boolean παραστάσεις F και G περιέχει 7 μεταβλητές. Υπάρχουν ακριβώς 8 πανομοιότυπες γραμμές στους πίνακες αλήθειας των παραστάσεων F και G, και ακριβώς 5 από αυτές έχουν 1 στη στήλη τιμής Πόσες γραμμές του πίνακα αλήθειας για την παράσταση F ∨ G περιέχουν 1 στη στήλη τιμής ?

Διάλυμα:

Υπάρχουν ακριβώς 8 ίδιες σειρές και ακριβώς 5 από αυτές έχουν 1 στη στήλη τιμής.

Αυτό σημαίνει ότι ακριβώς 3 από αυτά έχουν 0 στη στήλη τιμής.

Απάντηση: 125

Η λογική συνάρτηση F δίνεται από την έκφραση (a ∧ ¬c) ∨ (¬b ∧ ¬c). Να προσδιορίσετε ποια στήλη του πίνακα αληθείας της συνάρτησης F αντιστοιχεί σε καθεμία από τις μεταβλητές a, b, c.

? ? ? φά
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

Στην απάντησή σας γράψτε τα γράμματα α, β, γ με τη σειρά που εμφανίζονται οι αντίστοιχες στήλες τους.

Διάλυμα:

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

Όταν το c είναι 1, το F είναι μηδέν, οπότε η τελευταία στήλη είναι c.

Για να προσδιορίσουμε την πρώτη και τη δεύτερη στήλη, μπορούμε να χρησιμοποιήσουμε τις τιμές από την 3η σειρά.

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

Απάντηση: ABC

Η λογική συνάρτηση F δίνεται από το (a ∧ c)∨ (¬a ∧ (b ∨ ¬c)). Να προσδιορίσετε ποια στήλη του πίνακα αληθείας της συνάρτησης F αντιστοιχεί σε καθεμία από τις μεταβλητές a, b, c.

Με βάση το γεγονός ότι όταν a=0 και c=0, τότε F=0, και τα δεδομένα από τη δεύτερη σειρά, μπορούμε να συμπεράνουμε ότι η τρίτη στήλη περιέχει σι.

Απάντηση: καμπίνα

Η λογική συνάρτηση F δίνεται από x ∧ (¬y ∧ z ∧ ¬w ∨ y ∧ ¬z). Το σχήμα δείχνει ένα τμήμα του πίνακα αλήθειας της συνάρτησης F, που περιέχει όλα τα σύνολα ορισμάτων για τα οποία η συνάρτηση F είναι αληθής. Να προσδιορίσετε ποια στήλη του πίνακα αληθείας της συνάρτησης F αντιστοιχεί σε καθεμία από τις μεταβλητές x, y, z, w.

? ? ? ? φά
0 1 0 1 1
0 1 1 0 1
1 1 0 1 1

Στην απάντησή σας, γράψτε τα γράμματα x, y, z, w με τη σειρά που εμφανίζονται οι αντίστοιχες στήλες τους.

Διάλυμα:

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

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

Με βάση το γεγονός ότι στο x=0, μετά F=0, μπορούμε να συμπεράνουμε ότι η δεύτερη στήλη περιέχει x.

Απάντηση: wxzy

Πηγή εργασίας: Λύση 2437. Ενιαία Κρατική Εξέταση 2017. Πληροφορική. V.R. Λέσχινερ. 10 επιλογές.

Εργασία 2.Η λογική συνάρτηση F δίνεται από την έκφραση . Να προσδιορίσετε ποια στήλη του πίνακα αληθείας της συνάρτησης F αντιστοιχεί σε καθεμία από τις μεταβλητές x, y, z.

Στην απάντησή σας, γράψτε τα γράμματα x, y, z με τη σειρά με την οποία εμφανίζονται οι αντίστοιχες στήλες τους (πρώτα - το γράμμα που αντιστοιχεί στην 1η στήλη, μετά - το γράμμα που αντιστοιχεί στη 2η στήλη, μετά - το γράμμα που αντιστοιχεί στην 3η στήλη στήλη). Γράψτε τα γράμματα στην απάντηση στη σειρά, δεν χρειάζεται να βάλετε διαχωριστικά μεταξύ των γραμμάτων.

Διάλυμα.

Ας ξαναγράψουμε την έκφραση για το F λαμβάνοντας υπόψη τις προτεραιότητες των πράξεων άρνησης, σύνδεσης και διαχωρισμού:

.

Θεωρήστε την 4η σειρά του πίνακα (1,1,0)=0. Από αυτό μπορούμε να δούμε ότι η τρίτη θέση πρέπει να είναι είτε η μεταβλητή y είτε η μεταβλητή z, διαφορετικά η δεύτερη αγκύλη θα περιέχει 1, που θα οδηγεί στην τιμή F=1. Τώρα θεωρήστε την 5η σειρά του πίνακα (0,0,1)=1. Εφόσον το x πρέπει να βρίσκεται στην πρώτη ή στη δεύτερη θέση, η πρώτη παρένθεση θα δώσει 1 μόνο όταν το y βρίσκεται στην 3η θέση. Λαμβάνοντας υπόψη ότι η δεύτερη αγκύλη είναι πάντα ίση με 0, τότε προκύπτει F=1 λόγω του 1 στην πρώτη αγκύλη. Έτσι, διαπιστώσαμε ότι το y βρίσκεται στην 3η θέση. Τέλος, θεωρήστε την 7η σειρά του πίνακα (1,0,1)=0. Εδώ y=1 και για F=0 είναι απαραίτητο να έχουμε z=0 και x=1, επομένως, το x βρίσκεται στην 1η θέση και το z στη δεύτερη.

Ας ορίσουμε πρώτα τι έχουμε στο πρόβλημα:

  • μια λογική συνάρτηση F που ορίζεται από κάποια έκφραση. Τα στοιχεία του πίνακα αλήθειας αυτής της συνάρτησης παρουσιάζονται επίσης στο πρόβλημα με τη μορφή πίνακα. Έτσι, κατά την αντικατάσταση συγκεκριμένων τιμών των x, y, z από τον πίνακα στην έκφραση, το αποτέλεσμα θα πρέπει να συμπίπτει με αυτό που δίνεται στον πίνακα (βλ. επεξήγηση παρακάτω).
  • Οι μεταβλητές x, y, z και οι τρεις στήλες που αντιστοιχούν σε αυτές. Επιπλέον, σε αυτό το πρόβλημα δεν γνωρίζουμε ποια στήλη αντιστοιχεί σε ποια μεταβλητή. Δηλαδή στη στήλη Μεταβλητή. Το 1 μπορεί να είναι είτε x, y είτε z.
  • Μας ζητείται να προσδιορίσουμε ποια στήλη αντιστοιχεί σε ποια μεταβλητή.

Ας δούμε ένα παράδειγμα.

Διάλυμα

  1. Ας επιστρέψουμε τώρα στη λύση. Ας ρίξουμε μια πιο προσεκτική ματιά στον τύπο: \((\neg z) \wedge x \vee x\wedge y\)
  2. Περιέχει δύο κατασκευές με σύνδεσμο, που συνδέονται με διαχωρισμό. Όπως είναι γνωστό, τις περισσότερες φορές ο διαχωρισμός είναι αληθής (για αυτό αρκεί να είναι αληθής ένας από τους όρους).
  3. Ας δούμε στη συνέχεια προσεκτικά τις γραμμές όπου η έκφραση F είναι ψευδής.
  4. Η πρώτη γραμμή δεν μας ενδιαφέρει, καθώς δεν καθορίζει πού είναι (όλες οι τιμές είναι ίδιες).
  5. Ας εξετάσουμε τότε την προτελευταία γραμμή, περιέχει το μεγαλύτερο μέρος του 1, αλλά το αποτέλεσμα είναι 0.
  6. Μπορεί το z να βρίσκεται στην τρίτη στήλη; Όχι, γιατί σε αυτήν την περίπτωση θα υπάρχουν 1 παντού στον τύπο και, επομένως, το αποτέλεσμα θα είναι ίσο με 1, αλλά σύμφωνα με τον πίνακα αλήθειας, η τιμή του F σε αυτή τη σειρά είναι 0. Επομένως, το z δεν μπορεί να είναι Μεταβλητό . 3.
  7. Ομοίως, για την προηγούμενη γραμμή έχουμε ότι το z δεν μπορεί να είναι Μεταβλητό. 2.
  8. Οθεν, Το z είναι Μεταβλητό. 1.
  9. Γνωρίζοντας ότι το z βρίσκεται στην πρώτη στήλη, σκεφτείτε την τρίτη σειρά. Μπορεί το x να βρίσκεται στη δεύτερη στήλη; Ας αντικαταστήσουμε τις τιμές:
    \((\neg z) \wedge x \vee x\wedge y = \\ = (\neg 0) \wedge 1 \vee 1\wedge 0 = \\ = 1 \wedge 1 \vee 0 = \\ = 1 \vee 0 = 1\)
  10. Ωστόσο, σύμφωνα με τον πίνακα αλήθειας, το αποτέλεσμα πρέπει να είναι 0.
  11. Οθεν, Το x δεν μπορεί να είναι Per. 2.
  12. Οθεν, Το x είναι Μεταβλητό. 3.
  13. Επομένως, με τη μέθοδο της εξάλειψης, Το y είναι Μεταβλητό. 2.
  14. Έτσι, η απάντηση είναι η εξής: zyx (z - Μεταβλητή 1, y - Μεταβλητή 2, x - Μεταβλητή 3).​

Βασισμένο σε: εκδόσεις επίδειξης της Ενιαίας Κρατικής Εξέτασης στην επιστήμη των υπολογιστών για το 2015, στο εγχειρίδιο της Lyudmila Leonidovna Bosova

Στο προηγούμενο μέρος 1, συζητήσαμε μαζί σας τις λογικές πράξεις Disjunction και Conjunction, το μόνο που μας μένει είναι να αναλύσουμε την αντιστροφή και να προχωρήσουμε στην επίλυση της εργασίας Unified State Exam.

Αναστροφή

Αναστροφήλογική λειτουργία, που αντιστοιχεί σε κάθε πρόταση με μια νέα πρόταση, η έννοια της οποίας είναι αντίθετη από την αρχική.

Οι ακόλουθοι χαρακτήρες χρησιμοποιούνται για την εγγραφή αντιστροφής: NOT, `¯`, ` ¬ `

Η αντιστροφή καθορίζεται από τον ακόλουθο πίνακα αληθείας:

Η αντιστροφή ονομάζεται αλλιώς λογική άρνηση.

Οποιαδήποτε σύνθετη δήλωση μπορεί να γραφτεί στη φόρμα λογική έκφραση— εκφράσεις που περιέχουν λογικές μεταβλητές, σύμβολα λογικού τελεστή και παρενθέσεις. Οι λογικές πράξεις σε μια λογική έκφραση εκτελούνται με την ακόλουθη σειρά: αντιστροφή, σύνδεσμος, διαχωρισμός. Μπορείτε να αλλάξετε τη σειρά των πράξεων χρησιμοποιώντας παρενθέσεις.

Οι λογικές πράξεις έχουν την εξής προτεραιότητα: αντιστροφή, σύνδεσμος, διαχωρισμός.

Και έτσι, μπροστά μας είναι η εργασία Νο. 2 από την Ενιαία Κρατική Εξέταση στην επιστήμη των υπολογιστών 2015

Η Αλεξάνδρα συμπλήρωνε τον πίνακα αλήθειας για την έκφραση F. Κατάφερε μόνο να συμπληρώσει ένα μικρό κομμάτι του πίνακα:

x1 x2 x3 x4 x5 x6 x7 x8 φά
0 1 0
1 0 1
1 1 1

Τι έκφραση μπορεί να είναι η F;

Αυτό που κάνει την επίλυση του προβλήματος πολύ πιο εύκολη είναι ότι σε κάθε έκδοση της μιγαδικής έκφρασης F υπάρχει μόνο μία λογική πράξη: πολλαπλασιασμός ή πρόσθεση. Σε περίπτωση πολλαπλασιασμού /\ εάν τουλάχιστον μία μεταβλητή είναι ίση με μηδέν, τότε η τιμή ολόκληρης της παράστασης F πρέπει επίσης να είναι ίση με μηδέν. Και στην περίπτωση της προσθήκης V, εάν τουλάχιστον μία μεταβλητή είναι ίση με μία, τότε η τιμή ολόκληρης της παράστασης F πρέπει να είναι ίση με 1.

Τα δεδομένα που υπάρχουν στον πίνακα για καθεμία από τις 8 μεταβλητές της έκφρασης F είναι αρκετά για να τα λύσουμε.

Ας ελέγξουμε την έκφραση αριθμός 1:

  • ? /\ 1 /\ ? /\ ? /\ ? /\ ? /\ ? /\ 0 )
  • από τη δεύτερη γραμμή του πίνακα x1=1, x4=0 βλέπουμε ότι το F είναι δυνατό και μπορεί να είναι ίσο με = 1 αν όλες οι άλλες μεταβλητές είναι ίσες με 1 (1 /\ ? /\ ? /\ 1 /\ ? /\ ? /\ ? /\ ? )
  • σύμφωνα με την τρίτη γραμμή του πίνακα x4=1, x8=1 βλέπουμε ότι F=0 (? /\ ? /\ ? /\ 0 /\ ? /\ ? /\ ? /\ 0 ), και στον πίνακα έχουμε F=1, και αυτό σημαίνει ότι η έκφραση νούμερο ένα είναι για εμάς ΣΙΓΟΥΡΑ ΔΕΝ ΚΑΤΑΛΛΗΛΟ.

Ας ελέγξουμε την έκφραση αριθμός 2:

  • από την πρώτη γραμμή του πίνακα x2=0, x8=1 βλέπουμε ότι το F είναι δυνατό και μπορεί να είναι ίσο με = 0 αν όλες οι άλλες μεταβλητές είναι ίσες με 0 (? V 0 V ? V ? V ? V ? V ? V 0 )
  • από τη δεύτερη γραμμή του πίνακα x1=1, x4=0 βλέπουμε ότι F = 1 ( 1 V ? V ? V 1 V ? V ? V ? V ? )
  • σύμφωνα με την τρίτη γραμμή του πίνακα x4=1, x8=1 βλέπουμε ότι το F είναι δυνατό και μπορεί να είναι ίσο με = 1 αν τουλάχιστον μία από τις υπόλοιπες μεταβλητές είναι ίση με 1 ( ? V ? V ? V 0 V ? V ? V ? V 0 )

Ας ελέγξουμε την έκφραση αριθμός 3:

  • από την πρώτη γραμμή του πίνακα x2=0, x8=1 βλέπουμε ότι F=0 (? /\ 0 /\ ? /\ ? /\ ? /\ ? /\ ? /\ 1 )
  • από τη δεύτερη γραμμή του πίνακα x1=1, x4=0 βλέπουμε ότι F =0 (0 /\ ? /\ ? /\ 0 /\ ? /\ ? /\ ? /\ ? ), και στον πίνακα έχουμε F=1, και αυτό σημαίνει ότι η έκφραση αριθμός τρία μας δίνει ΣΙΓΟΥΡΑ ΔΕΝ ΚΑΤΑΛΛΗΛΟ.

Ας ελέγξουμε την έκφραση αριθμός 4:

  • από την πρώτη γραμμή του πίνακα x2=0, x8=1 βλέπουμε ότι F=1 ( ? V 1 V ? V ? V ? V ? V ? V 0 ), και στον πίνακα έχουμε F=0, και αυτό σημαίνει ότι η έκφραση αριθμός τέσσερα μας δίνει ΣΙΓΟΥΡΑ ΔΕΝ ΚΑΤΑΛΛΗΛΟ.

Όταν λύνετε μια εργασία στην ενιαία κρατική εξέταση, πρέπει να κάνετε ακριβώς το ίδιο πράγμα: απορρίψτε εκείνες τις επιλογές που σίγουρα δεν είναι κατάλληλες με βάση τα δεδομένα στον πίνακα. Παραμένων πιθανή επιλογή(όπως στην περίπτωσή μας, η επιλογή 2) θα είναι η σωστή απάντηση.