W informatyce, a konkretnie w algebrze komputerowej, istnieje zazwyczaj wiele różnych sposobów na przedstawienie tego samego obiektu. W tym wypadku postać kanoniczna oznacza takie przedstawienie, w którym każdy obiekt ma swoją unikatową reprezentację. W ten sposób można łatwo sprawdzić równość dwóch obiektów poprzez sprawdzenie równości ich postaci kanonicznych. Jednak wybór postaci kanonicznej bardzo często zależy od kwestii czysto arbitralnych (jak kolejność zmiennych), a to może powodować trudności w porównywaniu dwóch obiektów będących wynikami niezależnych obliczeń. Dlatego w algebrze komputerowej postać normalna to słabsze określenie – przedstawienie takie, że zero ma swoją unikatową reprezentację. To pozwala na porównywanie poprzez przedstawienie różnicy między obiektami w postaci normalnej.
Postać (forma) kanoniczna może oznaczać też formę różniczkową, która została przedstawiona naturalnie (kanonicznie).
Proces zamiany obiektu na postać kanoniczną nazywany jest normalizacjąCzasem używa się też pojęcia „kanonizacja”.