Любую логическую функцию можно задать таблицей истинности — перечнем всех комбинаций входов и соответствующих им выходов. Для n переменных в таблице 2ⁿ строк.
Из таблицы функцию записывают канонической формой. СДНФ (совершенная дизъюнктивная нормальная форма) — это ИЛИ из произведений: для каждой строки, где выход равен 1, пишем конъюнкцию входов (переменная без инверсии, если её значение 1, и с инверсией, если 0), а все такие конъюнкции объединяем через ИЛИ.
СКНФ (совершенная конъюнктивная нормальная форма) строится по строкам с выходом 0: пишем дизъюнкции и объединяем их через И.
Канонические формы громоздки, зато получаются механически из таблицы. Дальше их минимизируют — упрощают так, чтобы схема содержала меньше вентилей, работала быстрее и потребляла меньше.