Ალგორითმი მშენებლობის სიმართლე მაგიდები ლოგიკური გამონათქვამები

დღეს, ამ დოკუმენტში განხილული იქნება დეტალურად მშენებლობის საკითხით სიმართლე მაგიდასთან ლოგიკური გამონათქვამები. ეს პრობლემა ხშირად გვხვდება სტუდენტები, რომლებიც მისცეს ერთიანი სახელმწიფო გამოცდა კომპიუტერულ მეცნიერებათა. ფაქტია, რომ ე.წ. ლოგიკური ალგებრა არ არის რთული, თუ იცით აუცილებელი კანონებისა, ოპერაციების და წესები მშენებლობის სიმართლე მაგიდები. ეს არის კითხვები, ჩვენ ვაპირებთ, რომ დღეს.

ლოგიკური ალგებრა

ლოგიკა ალგებრა ეფუძნება მარტივი ლოგიკური გამონათქვამები, რომლებიც ერთმანეთთან ოპერაციების, შექმნა კომპლექსური გამოხატვის. გაითვალისწინეთ, რომ ლოგიკური ალგებრა შედგება ორი ორობითი ოპერაციებს: გარდა და გამრავლება (და გათიშვის of ერთობლიობაში, შესაბამისად); unary - inversion. ყველა მარტივი გამოხატვის (ელემენტების კომპლექსის ლოგიკური გამოსახულება) მიიღოს ერთი ორი ღირებულებები: "1" და "0", "ჭეშმარიტი" და "ცრუ", "+" და "-" შესაბამისად.

ალგებრა ლოგიკა ეფუძნება რამდენიმე შედარებით მარტივი აქსიომები:

• associativity;
• არის შემცვლელი;
• შთანთქმის;
• distributivity;
• additionality.

თუ თქვენ იცით, რომ ეს კანონები და რიგითობა ფუნქციები, მშენებლობის სიმართლე მაგიდა ლოგიკური გამონათქვამები არ გამოიწვევს რაიმე სირთულეები. შეგახსენებთ, რომ ოპერაცია უნდა შესრულდეს მკაცრი თანმიმდევრობით: უარყოფა, გამრავლება, გარდა ამისა, შედეგი, ექვივალენტობის, მხოლოდ შემდეგ აგრძელებს ბარი Schiffer ან ლოგიკური და არც ოპერაციებში. სხვათა შორის, ბოლო ორი ფუნქცია არსებობს წესების პრიორიტეტი, მათ განხორციელებას იმ მიზნით, სადაც ისინი მდებარეობს.

წესები შედგენის მაგიდა

სამშენებლო სიმართლე მაგიდა ლოგიკური გამონათქვამები ეხმარება ბევრი ლოგიკური პრობლემები და იპოვოს გადაწყვეტილებების კომპლექსურ bulky მაგალითები. აღსანიშნავია, რომ არსებობს გარკვეული წესები, მათი კოლექცია.

იმისათვის, რომ სწორად ლოგიკური მაგიდა, აუცილებელია დაიწყოს, რათა დადგინდეს რაოდენობის რიგები. როგორ უნდა გავაკეთოთ ეს? იმედი რაოდენობის ცვლადები, რომ შეადგინოს კომპლექსი გამოხატვის და გამოიყენოთ მარტივი ფორმულა: A = 2 ძალა n. და - ეს არის სტრიქონების რაოდენობა მაგიდაზე მიერ შედგენილი სიმართლე, n - არის რიგი ცვლადები, რომლებიც ნაწილი რთული ლოგიკური გამოხატვის.

მაგალითი: კომპლექსი გამოხატვის შეიცავს სამი ცვლადის (A, B და C), მაშინ ცუდი ნიშნის უნდა აშენდეს მესამე ხარისხის. B არის სიმართლე მაგიდა გვექნება რვა ხაზები. დაამატოთ ერთი ხაზი ტიტული სვეტი.

შემდეგი, ჩვენ მივმართოთ ჩვენი გამოხატვისა და განსაზღვროს ბრძანებით მოქმედებებზე. უკეთესი, რათა თავად ფანქარი ნიშნის (ერთი, ორი, და ა.შ.).

შემდეგი ნაბიჯი დავითვლით რაოდენობის ოპერაციებში. შედეგად ნომერი - სვეტების რაოდენობას ჩვენს მაგიდასთან. რა თქმა უნდა დაამატოთ კიდევ რიგი სვეტები როგორც ცვლადი შეიცავს თქვენი თვალსაზრისით, რომ შეავსოთ შესაძლო კომბინაციები ცვლადები.

შემდეგი, თქვენ უნდა შეავსოთ cap ჩვენს მაგიდასთან. ქვემოთ ხედავთ მაგალითია.

ახლა გაგრძელება შევსების შესაძლო კომბინაციები. ორ ცვლადები, ისინი შემდეგნაირად: 00, 01, 10, 11. სამი ცვლადები: 000, 001, 010, 011, 100, 101, 110, 111.

ყოველივე ამის შემდეგ აღნიშნული საკითხი შეგიძლიათ გააგრძელოთ გაანგარიშება დარჩენილი საკნების და შევსების შედეგად მაგიდასთან.

მაგალითად

ახლა ჩვენ მაგალითს მშენებლობის მაგიდა ლოგიკური გამოხატვის მართალია: ინვერსია A + B * ა

1. იმედი ცვლადები: 2. ხაზები: 4 + 1 = 5.
2. აღსრულების მიზნით ქმედებები: პირველი inversion, მეორე ერთობლიობაში, გათიშვის მესამე.
3. სვეტების რაოდენობა: 3 + 2 = 5.
4. მიღების მოკვლევისა და შევსების მაგიდაზე.

როგორც წესი, სამუშაოს ჟღერს: "რამდენი კომბინაცია აკმაყოფილებს F = 0" ან "რა კომბინაციები F = 1". პირველ კითხვაზე პასუხი - 1, მეორე - 00, 01, 11.

ყურადღებით წავიკითხე სამუშაო, რომ თქვენ გეძლევათ. თქვენ სწორად პრობლემის მოსაგვარებლად, მაგრამ შეცდომა წერილობით პასუხს. კიდევ ერთხელ გავამახვილო თქვენი ყურადღება ბრძანებით ქმედებები:

• უარყოფა;
• გამრავლება;
• გარდა.

ამოცანა

სამშენებლო სიმართლე მაგიდა შეუძლია დაეხმაროს იპოვოს პასუხი რთული ლოგიკური პრობლემა. დაიცავით მომზადების პროცესში გამოხატვისა და ჭეშმარიტების მაგიდა მდგომარეობის ლოგიკური ამოცანები შეგიძლიათ ამ სექციაში სტატიაში.

იმის გათვალისწინებით, ოთხი ღირებულებები: 1), 7 2) 6, 3), 5, 4) 4. ზოგიერთი მათგანი განაცხადი "inversion (პატარა 6) + (არანაკლებ 5 A)" არის ყალბი?

ჩვენი პირველი სვეტი ივსება ღირებულებების 7, 6, 5, 4 საჭირო ამ თანმიმდევრობით. მომდევნო სვეტი, ჩვენ უნდა უპასუხოს კითხვას: "არანაკლებ 6?" მესამე სვეტი შევსებული იგივე, მხოლოდ ახლა პასუხი კითხვაზე: "და არანაკლებ 5?"

ჩვენ განსაზღვრავს თანმიმდევრობა ოპერაციებში. გახსოვდეთ, რომ უარის თქმის იღებს უპირატესი გათიშვის. ასე რომ, მომდევნო სვეტი, შეავსეთ ღირებულებების, რომელიც შეესაბამება მდგომარეობა არ არის (A არანაკლებ 6). მეოთხე უპასუხებს მთავარ კითხვაზე ჩვენი პრობლემა. ქვემოთ ხედავთ მაგალითად შევსების მაგიდაზე.

გთხოვთ გაითვალისწინოთ, რომ ჩვენ გვაქვს ნომრები რეაგირება, ცრუ გამოხატვის ღირებულება = 5, ეს არის მესამე ვერსია პასუხს.