8

13

10

12

14

Ейнштейна

Ньютона

Ейлера

Лейбніца

Гамільтона

змінна або її заперечення

кон’юнкція або диз’юнкція

висловлювання, яке не можна розділити на простіші висловлювання

елементарна операція

кодів. які виправляють помилки

оптимальних кодів

кодів, близьких до оптимальних

рівномірних кодів

кодів з контролем помилок

транзитивним і асиметричним

транзитивним і симетричним

транзитивним, рефлексивним і антисиметричним

транзитивним, рефлексивним і симетричним

транзитивним, іррефлексивним і асиметричним

додавання допоміжних елементів – листків дерева

зменшення висоти дерева

додавання допоміжних елементів – внутрішніх вершин дерева

змешення кількості листків дерева

зменшення кількості елементів дерева

таблиця, яка містить стільки рядків, скільки є атомів у формулі

таблиця, яка містить всі елементарні операції логіки висловлювань

таблиця, яка містить значення всіх атомів формули

таблиця, яка містить значення істинності формул залежно від значень істинності їх атомів

таблиця, яка містить лише операції кон’юнкції і диз’юнкції

матриця, в якій записані шляхи будь-якої довжини між вузлами

подана множина дуг орграфа

для кожної дуги вказані інцидентні їй вузли

для кожного вузла вказано список вузлів, у які він входить

ін’єктивна

ін’єктивна та сюр’єктивна

сюр’єктивна

не бієктивна