Normal kanonik shakl tushunchasi matematikada va mantiqda keng qo'llaniladi, ayniqsa, chiziqli algebra va boole algebrasida. Mantiqda esa, bu tushuncha har bir mantiqiy ifodani mumkin bo'lgan eng sodda va minimum ko'rinishga keltiradi