Matematikada va mantiqda formulalar uchun normal kanonik shakllar bilan tanishib chiqing. Bu shakllar matritsalar yoki lojava elementlarni minimal ko'rinishda ifodalaydi