|
Ґратка Поста Ґратка Поста — ґратка всіх клонів на булевій множині (булева множина позначається 2={0, 1}) відсортована за включенням. Була описана Емілем Постом в 1941 році. Використовується в математичній логіці та універсальній алгебрі. ВизначенняБулевими функціями чи логічними операціями арності n є функції f: 2n → 2. Множина таких функцій що містить всі проєкції та замкнена відносно композиції функцій називається клоном. Поняття клона є розширенням поняття замкнений клас функцій. Властивості
РешіткаДля визначення деяких класів використовуються таблиці істинності їх функцій, зі значенням аргументів впорядкованих у лексикографічному порядку. Критерій ПостаВажливими є передповні клони (їх всього 5, в них проста будова), при добавлянні в них хоча б однієї функції, що їм не належить, їх замикання стає функціонально повним, тобто включає всі булеві функції. Див. такожДжерела
|
