Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

уч.пос

.2.pdf
Скачиваний:
77
Добавлен:
18.03.2016
Размер:
4.78 Mб
Скачать

10.

(Z X)+

 

 

 

 

.

 

а)

 

 

 

 

 

б)

 

 

 

 

 

в)

 

 

 

 

 

г)

 

 

 

 

 

д)

 

 

 

 

 

е)

не существует.

11.

((X↓Y) Z)+ Y

а)

 

 

 

 

 

б)

 

 

 

 

 

в)

 

 

 

 

 

г)

 

 

 

 

 

д)

 

 

 

 

 

е)

не существует.

12.

 

 

 

 

.

а)

 

 

 

 

 

б)

 

 

 

 

 

в)

 

 

 

 

 

г)

 

 

 

 

 

д)

 

 

 

 

 

е)

не существует.

13.

 

 

 

 

 

41

а)

б)

в)

г)

д)

 

е)

не существует.

14.

.

а)

 

б)

 

в)

 

г)

 

д)

 

е)

не существует.

15.

 

а)

не существует

б)

 

в)

 

г)

 

д)

 

е)

 

 

42

16.

 

.

а)

б)

в)

г)

д)

е) не существует.

17.

а)

б)

в)

г)

д)

е) не существует.

18.

а) не существует б)

в)

г)

д)

е) не существует.

19. 1+.

43

а)

б)

в)

г)

д)

е) не существует.

20. 1+((

а)

б)

в)

г)

)

д)

е) не существует.

21. (.

а)

б)

в)

г)

д)

е) не существует.

22.

44

а)

 

 

б)

 

 

в)

 

 

г)

 

 

д)

 

 

е)

не существует.

 

23.

(

.

а)

 

 

б)

 

 

в)

 

 

г)

 

 

д)

 

 

е)

не существует.

 

24.

((X

.

а)

 

 

б)

 

 

в)

 

 

г)

 

 

д)

 

 

е)

не существует.

 

45

Задача №6. Привести пропозициональную форму к СКНФ:

1.

 

 

 

 

 

 

 

 

 

 

 

 

.

 

а)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

б)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

в)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

г)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

д)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

е)

не существует.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2.

(X

 

)

 

 

 

.

 

 

 

 

 

 

 

 

а)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

б)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

в)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

г)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

д)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

е)

не существует.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3.

 

 

 

 

 

 

 

 

 

 

 

 

.

а)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

б)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

в)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

г)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

д)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

е)

не существует.

 

 

 

 

46

4.((A B).

а)

1

б)

(A

в)

(A

г)

 

д)

 

е)

не существует.

5.).

а)

0

 

 

 

 

б)

 

 

 

 

 

в)

 

 

 

 

 

г)

 

 

 

 

 

д)

 

 

 

 

 

е)

не существует.

 

 

 

 

 

 

6.

 

.

а)

 

 

 

 

 

б)

 

 

 

 

 

в)

 

 

 

 

 

г)

 

 

 

 

 

д)

 

 

 

 

 

47

е) не существует.

7.

а)

б)

в)

г)

д)

е) не существует.

8.

а)

б)

в)

г)

д)

е) не существует.

9.

 

.

а)

б) не существует в)

г)

д)

е) .

48

 

(Z X)+

 

 

 

10.

.

 

а)

 

 

 

 

б)

 

 

 

 

в)

 

 

 

 

г)

 

 

 

 

д)

 

 

 

 

е)

не существует.

11.

((X↓Y) Z)+ Y

а)

 

 

 

 

б)

 

 

 

 

в)

 

 

 

 

г)

 

 

 

 

д)

 

 

 

 

е)

не существует.

12.

 

 

 

 

.

а)

 

 

 

 

б)

 

 

 

 

в)

 

 

 

 

г)

 

 

 

 

д)

 

 

 

 

е)

не существует.

13.

 

 

 

 

49

а)

б)

в)

г)

д)

 

е)

не существует.

14.

.

а)

 

б)

 

в)

 

г)

 

д)

 

е)

не существует.

15.

 

а)

не существует

б)

 

в)

 

г)

 

д)

 

е)

 

 

50