Изменения
* алгоритм
* примеры
=== [[Сортировка]] ===
* алгоритмы
=== [[Алгоритм определения мест]] ===
* алгоритмы
=== [[Логический закон]] ===
* виды
=== [[Логическая функция]] ===
* виды
==== [[Совершенная дизъюнктивная нормальная форма]] ====
* формула
==== [[Минимальная конъюнктивная нормальная форма]] ====
* формула
* примеры
=== [[Таблица истинности]] ===
* виды
* примеры
=== [[Карта Карно]] ===
* виды
* примеры
=== [[Трёхмерная карта Карно]] ===
* виды
* примеры
=== [[Предикат]] ===
* виды
* операции
=== [[Секвенции]] ===
* основные правила
