Правило развёртывания

Оно также является следствием распределительных законов и регламентирует действие, обратное склеиванию. Оно используется, когда нужно составить некоторое логическое выражение в виде совокупности конституент (от англ. constituent – составная часть чего-либо) единицы (КЕ) или конституент нуля (КН).

Конституента единицы (иногда употребляют минтерм)– это конъюнкция всех высказываний, которые входят в неё в прямом или инверсном виде лишь по одному разу и обращающаяся в ноль при одном наборе логических значений высказываний и в единицу при всех остальных наборах.

Конституента нуля (иногда употребляют макстерм) – это дизъюнкция всех высказываний, которые входят в неё в прямом или инверсном виде лишь по одному разу и обращающаяся в единицу при одном наборе логических значений высказываний и в ноль при всех остальных наборах.

Количество KE и КН заданного числа высказываний совпадает, как это следует из определения, с числом различных наборов высказываний и равно . Конституенты принято обозначать какими-либо символами, например: и . Единица или ноль в верхнем индексе означает вид конституенты, т.е. КЕ это или КН, нижний индекс означает ее номер, совпадающий с номером набора.

Приведем примеры всех КЕ и КН для двух высказываний.

Таблица 7.