Նորմալ ձև

Նորմալ ձև (մաթեմատիկական տրամաբանության մեջ), տրամաբանական օբյեկտների (ասույթներ, բանաձևեր, սահմանման սխեմաներ և այլն) ներկայացման, որևէ առումով պարզագույն, ստանդարտ ձև։ Ցուրաքանչյուր կոնկրետ համակարգում նորմալ ձև սահմանվում է յուրովի։ Օրինակ. ասույթների հաշվում սահմանվում են կոնյունկտիվ ու դիզյունկտիվ, պրեդիկատների հաշվում՝ սկոլեմյան նորմալ ձևեր են։ Հաճախ օգտագործվում են կատարյալ նորմալ ձև և նախնական նորմալ ձև գաղափարները։ Տրամաբանական օբյեկտները իրենց նորմալ ձևերի միջոցով ներկայացնելն անհամեմատ պարզեցնում է նրանց հետազոտման խնդիրը։ Տվյալ համակարգում նորմալ ձևի գոյության ապացուցումն արմատական նշանակություն ունի նրանում լուծելիությամբ պրոբլեմի լուծման համար։

Ստանդարտ ձևեր