Решітка Поста

Матеріал з Вікіпедії — вільної енциклопедії.
Перейти до: навігація, пошук

Решітка Поста (ґратка Поста) — ґратка всіх клонів на булевій множині (булева множина позначається 2={0, 1}) відсортована за включенням. Була описана Емілем Постом в 1941 році.

Використовується в математичній логіці та універсальній алгебрі.

Визначення[ред.ред. код]

Булевими функціями чи логічними операціями арності n є функції f: 2n2.

Множина таких функцій що містить всі проекції та замкнена відносно композиції функцій називається клоном.

Поняття клона є близьким до більш старшого терміну замкнений клас функцій.

Властивості[ред.ред. код]

Перетином двох клонів є клон.

Решітка[ред.ред. код]

...

Дивись також[ред.ред. код]