Элементы компьютерной математики, Ершов С.С., 2003.
В книге рассматриваются разные стороны широко понимаемой дисциплины «Дискретная математика». Изложение ведется на действительно элементарном уровне и касается практически всех основных разделов дисциплины.
Предназначается для студентов вузов, техникумов, колледжей и всех, интересующихся вопросами этой области науки.
Фрагмент из книги.В методе испытания термов (простых импликант) ТДНФ находится по СкДНФ. Один из термов (по очереди) исключают. Оставшееся выражение дает 0 при f (CкДНФ) = 0. Однако при f (СкДНФ) = 1 оставшееся выражение может давать 0, т.е. единица в СкДНФ обеспечивалась удаленным термом. Значит, испытываемый терм нелишний, исключать его нельзя. Проверку оставшегося выражения на 1 необходимо произвести, таким образом, на всех наборах аргументов, где испытываемый терм имеет значение 1. Если оставшееся выражение всюду единично, то испытываемый терм лишний.
Затем то же самое проделывают с оставшимся выражением (проход «в глубину»). При этом уже испытанные и оказавшиеся нелишними термы повторно не исключаются.
После нахождения первой ТДНФ все начинается сначала, но испытывается следующий по порядку терм и т.д.
Метод испытания термов явно неудобен при большом количестве термов (простых импликант) в СкДНФ.
