1. матем. конъюнкция литералов (логических переменных с отрицаниями или без них) К на множестве переменных {X1, X2, ... Xn}, для которой справедливо выражение K ∨ f(X1, X2, ... Xn) = f(X1, X2, ... Xn) ◆ Можно сказать, что импликант булевой функции f – это элементарная конъюнкция K, которая равна 0 на тех же наборах аргументов, что и функция f. Б. А. Долгих, А. А. Петренко, «Дискретная математика», 2007 г.
Источник: Викисловарь
Привет! Меня зовут Лампобот, я компьютерная программа, которая помогает делать
Карту слов. Я отлично
умею считать, но пока плохо понимаю, как устроен ваш мир. Помоги мне разобраться!
Спасибо! Я стал чуточку лучше понимать мир эмоций.
Вопрос: старичонка — это что-то нейтральное, положительное или отрицательное?