20 Вариант

1)

а	б	=
0	0	1
0	1	0
1	0	0
1	1	1

2) Т. О дедукции.

3) Лемма о нелинейной ф-ии:

. Тогда

4) Теорема о существовании единственной СДНФ

Для всякой б.ф. Существует СДНФ от переменных причем единственная.

1. ДНФ от переменных х₁, …, х_nназывается формула вида v v…..v ,где - конъюнкты от х₁, …, х_n.

2. СДНФ от х₁, …, х_n – формула вида v v…..v ,где , ,….., - совершенные конъюнкты, попарно неэквивалентные от х₁, …, х_{n .}

5) Тезис Чёрча.

Класс интуитивно вычислимых ф-ий совпадает с классом ф-ий вычислимых по Тьюрингу.

6) Т. О неподвижной точке:

неподжвижная точка – - обще рекурсивная ф-ия. Тогда .

7) Оператор суперпозиции:

Суперпозиция функций f ) и ( -это функция

F= S(

Другой вариант:

8) Т. Компактности.

Мн-во формул Г – выполнимо каждое конечное подмн-во Г выполнимо

Множество предложений имеет модель  каждое его конечное подмножество имеет модель.

9) Пусть есть два дизъюнкта: А , и В Х. К этим двум дизъюнктам применим правило резолюций по переменной х. Дизъюнкт A называется резольвентой этих двух дизъюнктов.