Импликант

Последняя правка 1545 дней назад
Материал из Энциклопедия обо всем
Перейти к навигации Перейти к поиску

Импликант (импликанта, импликанты) - понятие, связанное с отношением между множеством и его подмножествами. С каждым подмножеством A множества B всегда связано другое подмножество того же множества B, которое не есть A, так как оно является дополнением A до B. Такое дополнение A до B тоже является подмножеством множества B и обычно обозначается с помощью знака ' \ ' , например B \ A. Иногда для этого используют знак булевого отрицания - надчёркивание, или знак ' ¬ ', то есть ¬А.

Такие возможные составные части целостного множества B называются импликантами множества B.