Макстермом (або елементарної диз'юнкція Di. Або конституентов нуля) називається логічна сума прямих або інверсних змінних, причому кожна змінна зустрічається в сумі тільки один раз:.
Кількість минтермов і макстермов заданого числа аргументів збігається з числом різних наборів аргументів N = 2 n.
Властивості минтермов і макстермов:
1. Між індексами и однойменних минтермов і макстермов булевих n змінних існують наступні співвідношення:. . де індекс i - десяткове число і відповідає бінарного коду, який відповідає комбінації значень аргументів функції.
2. Логічна сума всіх минтермов будь-якого числа змінних дорівнює одиниці.
3. Логічне твір всіх макстермов будь-якого числа змінних дорівнює нулю.
4. Логічне твір минтермов, що мають різні індекси, дорівнює нулю, т.e. Qi · Qj = 0. при i. j.
5. Логічна сума неоднакових макстермов дорівнює одиниці, тобто Di + Dj = 1. при i. j.
Для побудови СДНФ логічної функції FCDHФ від n змінних, заданої таблицею істинності, необхідно по кожному набору змінних, на якому функція приймає значення 1, записати кон'юнкцію - минтерм виду і все такі кон'юнкції з'єднати знаками диз'юнкції. При цьому змінні, що мають значення нуля, інвертується. . , Де i - десяткові числа, що відповідають тим наборам аргументів, на яких F = Fi = 1.
Для побудови СКНФ логічної функції FCКHФ від n змінних, заданої таблицею істинності, необхідно по кожному набору змінних, на якому функція приймає значення 0, записати диз'юнкцію - макстерм виду і все такі диз'юнкції з'єднати знаками кон'юнкції. При цьому змінні, що мають значення одиниці, інвертується:,. де i - десяткові числа, що відповідають тим наборам аргументів, на яких F = Fi = 0.
Основні співвідношення булевої алгебри.