2024 ავტორი: Elizabeth Oswald | [email protected]. ბოლოს შეცვლილი: 2024-01-13 00:09
პირველი რიგის ლოგიკის CNF-ად გადაქცევა:
- კონვერტირება უარყოფით ნორმალურ ფორმაში. შედეგების და ეკვივალენტების აღმოფხვრა: განმეორებით ჩანაცვლება; შეცვლა. …
- ცვლადების სტანდარტიზაცია. …
- შეასწორეთ განცხადება. …
- მოაგდეთ ყველა უნივერსალური კვანტიფიკატორი.
- გაანაწილეთ OR-ები შიგნით AND-ებზე: განმეორებით ჩაანაცვლეთ.-ით
რა არის CNF ფორმულა?
შეერთებული ნორმალური ფორმა (CNF) არის მიდგომა ლოგიკისადმი, რომელიც გამოხატავს ფორმულებს, როგორც პუნქტების კავშირებს AND ან OR-თან. ყოველი პუნქტი, რომელიც დაკავშირებულია კავშირით, ან AND, უნდა იყოს ან ლიტერალური ან შეიცავდეს დისიუნქციას, ან ოპერატორს. CNF სასარგებლოა ავტომატური თეორემის დასამტკიცებლად.
შეგიძლიათ გადაიყვანოთ DNF CNF-ად?
თუ გსურთ შემოიტანოთ დამატებითი ცვლადები, შეგიძლიათ გადაიყვანოთ DNF-დან CNF ფორმაში პოლინომიურ დროში წეიტინის ტრანსფორმაციისგამოყენებით. შედეგად მიღებული CNF ფორმულა თანაბარი იქნება ორიგინალური DNF ფორმულით: CNF ფორმულა დამაკმაყოფილებელი იქნება, თუ და მხოლოდ იმ შემთხვევაში, თუ ორიგინალური DNF ფორმულა იყო დამაკმაყოფილებელი.
როგორ მივიღო CNF?
უბრალოდ ჩაწერეთ სიმართლის ცხრილი, რომლის პოვნა საკმაოდ მარტივია და გამოიტანეთ თქვენი CNF და DNF. თუ გსურთ იპოვოთ DNF, უნდა დაათვალიეროთ ყველა სტრიქონი, რომელიც მთავრდება T-ით. როდესაც იპოვით ამ მწკრივებს, აიღეთ x, y და z მნიშვნელობები თითოეული შესაბამისი სვეტიდან. ამრიგად, თქვენ მიიღებთ (x∧y∧z)∨(x∧¬y∧¬z)∨(¬x∧y∧¬z)∨(¬x∧¬y∧z).
როგორ გადაიყვანთ განსხვავებულს?ნორმალური ფორმა?
შედგენილი წინადადება არის განსხვავებულ ნორმალურ ფორმაში, ან DNF, თუ ეს არის მარტივი ტერმინების კავშირების განშორება და თუ, უფრო მეტიც, თითოეული პროპოზიციური ცვლადი ჩნდება მაქსიმუმ ერთხელ თითოეულ კავშირში და ყოველი კავშირი ჩნდება მაქსიმუმ ერთხელ დისიუნქციაში.
გირჩევთ:
როგორ გადავიტანოთ ddmm.mmmm ათობითი გრადუსამდე?
6 პასუხი. ათწილადის ფორმატში გადასაყვანად, ჩვენ ვიწყებთ -ით DD ნაწილის შენახვით და უბრალოდ ვყოფთ MM-ს. MMM 60-ით ათობითი ფორმატის MMM ნაწილის გასამყარებლად. შეცვალეთ გრძედი და ლოგოტიდა. როგორ გადააქვთ კოორდინატები ათობითი გრადუსამდე? შეგიძლიათ გადაიყვანოთ გრძივი გაზომვა გრადუსიდან ათწილადში მათემატიკური ფორმულის დაცვით.
როგორ ამოვიღოთ და გადავიტანოთ სხეული?
ნაბიჯი საფლავის სხვა სასაფლაოზე გადატანისთვის დაუკავშირდით დაკრძალვის ცენტრს. მიუხედავად იმისა, რომ თქვენ შეგიძლიათ ტექნიკურად დაასრულოთ ეს პროცესი საკუთარ თავზე, კარგი იდეაა დაუკავშირდეთ დაკრძალვის სახლს. … მიმართეთ ექსჰუმაციის ლიცენზიისთვის.
როგორ გადავიტანოთ აუზის მაგიდა მცირე მანძილზე?
გამოიყენეთ აუზის მაგიდის ლიფტი. ეს არის უმარტივესი გზა აუზის მაგიდის მცირე მანძილზე გადასატანად. ხშირად არ საჭიროებს სტრესს აუზის მაგიდის ასაწევად, რადგან მოწყობილობას დამატებითი პარამეტრები არ სჭირდება. შეიძლება თუ არა ბალის მაგიდის გადაადგილება მისი დაშლის გარეშე?
როგორ გადავიტანოთ ზარები?
ზარის გადამისამართების გასააქტიურებლად, აკრიფეთ 72. აკრიფეთ ნომერი, რომელზეც გსურთ თქვენი ზარების გადაგზავნა. როდესაც ამ ნომერზე ვინმე პასუხობს, ზარის გადამისამართება გააქტიურებულია. თუ არავინ პასუხობს ან ხაზი დაკავებულია, დააჭირეთ მიმღების ღილაკს ერთი წამით და გაიმეორეთ ზემოთ ჩამოთვლილი ნაბიჯები ორი წუთის განმავლობაში.
როგორ გადავიტანოთ btu კვტ-ად?
3412 BTU/სთ=1 კვტ ვთქვათ, ეს არის 10,000 BTU. კვტ რიცხვის მისაღებად, გაყავით BTU დაახლოებით 3,000-ზე. 10,000 BTU პორტატული კონდიციონერისთვის, თქვენ გამოთვლით სიმძლავრეს დაახლოებით 3,3 კვტ, არა? როგორ გადააქვთ BTU HP-ზე? BTU საათში ცხენის ძალაზე გადასაყვანად გამოიყენეთ შემდეგი განტოლება:
