Схема "И - НЕ" имеет:

Схема "ИЛИ - НЕ" имеет:

Схема "ИСКЛЮЧАЮЩЕЕ - ИЛИ" имеет:

Для вычисления функции голосования существует схема:

Для вычисления функции голосования существует схема:

Для умножения двух -разрядных двоичных чисел существует схема:

Для умножения двух -разрядных двоичных чисел существует схема:

Вычитание двух -разрядных двоичных чисел по модулю выполнима схема:

Если теория имеет сколь угодно большое конечные нормальные модели, то она:

Если всякое конечное подмножество теории в сигнатуре с равенством имеет нормальную модель, то теория:

Теория сигнатуры с равенством имеет нормальную модель тогда и только тогда, когда: