Postać normalna (matematyka)
Z Wikipedii
Postać normalna (ang. normal form) to pewna szczególna postać wyrażenia, która jest w pewnym sensie "równoważna" każdemu wyrażeniu z pewnego zbioru wyrażeń. Od postaci systemu zależy, jaki to zbiór i jaki jest sens tej "równoważności". Wyrażenie może mieć jedną postać normalną lub nie mieć jej wcale.
[edytuj] Systemy redukcji
W systemach redukcji postać normalna to wyrażenie, którego nie można zredukować.
Na przykład w systemie złożonym z liczb, znaku + oraz reguły redukcji pozwalającej zastąpić parę liczb po obu stronach znaku + ich sumą, postacią normalną jest pojedyncza liczba. Postacią normalną wyrażenia "1 + 2 + 3 + 4" jest "10". "10" jest też postacią normalną dla "7 + 3", "1 + 4 + 5" i wielu innych wyrażeń. Wszystkie wyrażenia, których postać normalna to "10", są w pewnym sensie równoważne. W rachunku lambda postać normalna to lambda-wyrażenie, w którym niczego nie można β-zredukować. Żeby uznać to za postać normalną, musimy założyć, że α-konwersja nie tworzy innej formuły.
[edytuj] Wyrażenia logiczne
Dwie ważne postacie normalne występujące w logice matematycznej to koniunkcyjna postać normalna (CNF) oraz dysjunkcyjna postać normalna (DNF).
[edytuj] Zobacz też
- przegląd zagadnień z zakresu matematyki,
- czołowa postać normalna (head normal form),
- słaba czołowa postać normalna (weak head normal form).
| Straż Graniczna rozbiła grupę przemytników |
Funkcjonariusze Nadbużańskiego Oddziału Straży Granicznej (NOSG) rozbili grupę, zajmującą się obrotem towarami, głównie papierosami, bez polskich znaków skarbowych akcyzy. Zatrzymano trzy osoby. |
| Kurski: widziałem ministra nawalonego jak Messerschmitt |
Zdaniem Jacka Kurskiego Elżbieta Kruk padła ofiarą panującej w mediach niechęci do PiS. Na antenie Radia ZET poseł bronił swojej partyjnej koleżanki i opowiadał o ministrze rządu Donalda Tuska, który pijany przyszedł do studia telewizji Polsat. |
| Autobus wpadł do rowu, 12 rannych |
Na drodze wojewódzkiej nr 865 Jarosław - Lubaczów autobus wpadł do rowu w miejscowości Makowisko (Podkarpackie). 12 osób - uczestników wycieczki - trafiło do szpitala. Na razie nie wiadomo, jak poważne odnieśli obrażenia. |
| Zachodniopomorskie: Ok. 10 tys. osób bez prądu |
W Zachodniopmorskiem wraca zasilanie do powiatów pyrzyckiego i stargardzkiego. Usuwane są kolejne awarie stacji transformatorowych. Prace utrudnia jednak silny wiatr - poinformował rzecznik ENEA OPERATOR Paweł Oboda. Porywisty wiatr i śnieżyce uszkodziły 250 stacji transformatorowych. Ok. 10 tys. mieszkańców nie ma prądu. |
| Wyjazdowe obrady klubu PO: wraca sprawa Staroń |
Podczas wyjazdowego posiedzenia klubu PO w miejscowości Ossa k. Rawy Mazowieckiej Lidia Staroń czyniła wyrzuty kolegom, że nie wsparli jej po publikacji "Rzeczpospolitej". Gazeta napisała, że Staroń zarobiła kilkaset tysięcy zł, bo ustawa, nad którą pracowała, pozwoliła jej uwłaszczyć lokal usługowy. Donald Tusk - relacjonuje zastrzegający anonimowość uczestnik obrad - poparł Staroń, natomiast Zbigniew Chlebowski nie zabrał głosu. |
| Pierwsza ofiara mrozu. Mężczyzna znaleziony na Podkarpaciu |
45-letni mężczyzna jest najprawdopodobniej pierwszą tegoroczną ofiarą mrozów na Podkarpaciu. Policjanci wyjaśniają dokładne przyczyny śmierci mieszkańca Trzebuski. Mężczyznę znaleziono niespełna sto metrów od jego domu. Wiele wskazuje na to, że zmarł w wyniku wychłodzenia organizmu. |
| Pacelt do dymisji, dostanie nowe zadania |
Ostrowiecki poseł Platformy Obywatelskiej Zbigniew Pacelt zostanie odwołany ze stanowiska wiceministra sportu. Teraz będzie odpowiadał za przygotowania reprezentacji Polski do igrzysk w Londynie. |
| Osiedlowy zespół ukradł sprzęt Acid Drinkers |
Policjanci odzyskali sprzęt muzyczny należący do zespołu Acid Drinkers. Złodziejami okazali się 17-letni Jakub K. i 18-letni Paweł K., członkowie osiedlowego zespołu z Ełku. Za kradzież odpowiedzą przed sądem. Grozi im nawet pięć lat więzienia. |
| Drugie podejście PO do ustawy o mediach |
PO wraca do rozmów z lewicą o zmianach w mediach. W przyszłym tygodniu politycy Platformy maja wyłożyć na stół nowy projekt ustawy medialnej - dowiedział się "Dziennik". |
| PiS zaniepokojone sprawą posłów Sejmu Litwy z Kartą Polaka |
PiS jest zaniepokojone sprawą posłów litewskiego Sejmu posiadających Kartę Polaka. Dwóm z trzech posłów AWPL grozi utrata mandatu litewskiego posła z powodu przyjęcia przez nich Karty, co budzi na Litwie kontrowersje. |
