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

С2. МОИ. Презентации / Булевы функции 1 (v. 1.2)

.pdf
Скачиваний:
19
Добавлен:
10.02.2015
Размер:
1.66 Mб
Скачать

Свойства логических операций

X Y X Y ;

 

 

 

 

 

 

 

 

 

X Y

X Y

X Y

X Y X Y

 

0

0

0

1

 

 

1

1

1

 

0

1

1

0

 

 

1

0

0

 

1

0

1

0

 

 

0

1

0

 

1

1

1

0

 

 

0

0

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

31

Свойства логических операций

X Y X Y ;

 

 

 

 

 

 

 

 

 

 

 

 

 

X Y

X Y

X Y

 

 

 

 

 

 

 

X Y

 

 

 

X

 

Y

 

 

0

0

0

1

 

1

 

1

 

 

1

 

0

1

1

0

 

1

 

0

 

 

0

 

1

0

1

0

 

0

 

1

 

 

0

 

1

1

1

0

 

0

 

0

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

32

Свойства логических операций

X Y X Y ;

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

X Y

X Y

X Y

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

X

 

Y

X Y

 

 

 

0

0

0

1

 

1

 

1

 

1

 

 

 

 

0

1

1

0

 

1

 

0

 

0

 

 

 

 

1

0

1

0

 

0

 

1

 

0

 

 

 

 

1

1

1

0

 

0

 

0

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

33

Свойства логических операций

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

X Y

X Y

X Y

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

X

 

Y

X Y

 

 

 

0

0

0

1

 

1

 

1

 

1

 

 

 

 

0

1

1

0

 

1

 

0

 

0

 

 

 

 

1

0

1

0

 

0

 

1

 

0

 

 

 

 

1

1

1

0

 

0

 

0

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

34

Свойства логических операций

X Y X Y ;

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

X Y

X Y

X Y

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

X

 

Y

X Y

 

 

 

0

0

0

1

 

1

 

1

 

1

 

 

 

 

0

1

1

0

 

1

 

0

 

0

 

 

 

 

1

0

1

0

 

0

 

1

 

0

 

 

 

 

1

1

1

0

 

0

 

0

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

35

Пример решения логических задач

1.Олег – 1 место, Николай – 2 место.

2.Олег – 2 место, Петр – 3 место.

3.Михаил – 2 место, Петр – 4 место.

36

Решение логических задач

Введем логические переменные Xi ,

означающие высказывания « X занял i

место». Тогда из условия мы имеем

37

Решение логических задач

Введем логические переменные Xi ,

означающие высказывания « X занял i

место». Тогда из условия мы имеем

O1 N2 1; O2 P3 1; M 2 P4 1

O1 N2 O2 P3 M 2 P4 1

38

Решение логических задач

O1 N2 O2 P3 M 2 P4 1

39

Решение логических задач

O1 N2 O2 P3 M 2 P4 1

O1O2 O1P3 N2O2 N2P3 M 2 P4 1

Из условия мы также имеем

Xi X j 0;

Xi Yi 0

40