Значение импликант | Babel Free

Определения

матем. конъюнкция литералов (логических переменных с отрицаниями или без них) К на множестве переменных {X₁, X₂, ... Xₙ}, для которой справедливо выражение K ∨ f(X₁, X₂, ... Xₙ) = f(X₁, X₂, ... Xₙ)

Примеры

“Можно сказать, что импликант булевой функции f – это элементарная конъюнкция K, которая равна 0 на тех же наборах аргументов, что и функция f.”