 |
Из трех высказывани 3 страница
|
|
|
|
| P | Q | R | F | G | |||||||
| а) | (P, Q, R)≅ | ||||||||||
| F | |||||||||||
| (P Q, R)≅ | |||||||||||
| б) | |||||||||||
| G | , | ||||||||||
| ≅ | |||||||||||
| в) | H P, Q, R | ||||||||||
| ( | |||||||||||
| г) | ≅ | ||||||||||
| (P, Q, R | |||||||||||
| K | ) | ||||||||||
| д) | ) | ||||||||||
| (P, Q, R)≅ | |||||||||||
| L | |||||||||||
| 1.50.Найдите СКН - формы для | |||||||||||
| значений, | в предыду | ||||||||||
| приведенными | |||||||||||
| а) | (P, Q, R)≅ | ||||||||||
| F | |||||||||||
| б) | (P, Q, R | ≅ | |||||||||
| G | H ) P, Q, R | ||||||||||
| в) | ≅ | ||||||||||
| ( | |||||||||||
| ) | |||||||||||
| г) | ≅ | ||||||||||
| (P, Q, R | |||||||||||
| K | ) | ||||||||||
| д) | |||||||||||
| (P, Q, R)≅ |
L
|
|
|
1.51. Определите,длякакой изписанная слева,является СДН - форм
| (X Y)∨(X ∧ Y) | X ↔ Y | ||||||||||||||||
| ∧ | |||||||||||||||||
| X | → Y | ||||||||||||||||
| X ∧ | Y | ||||||||||||||||
| X ∨ Y | |||||||||||||||||
| X ∨ Y | |||||||||||||||||
| 1.52.Определите,для какой из формул,записанных справа,формула,за | |||||||||||||||||
| писанная слева, | СКН- формой. | - | |||||||||||||||
| является | |||||||||||||||||
| (X ∨ Y) | ( | ∨ Y) | (X ∨ Y) | X | → Y | ||||||||||||
| ∧ | X | ∧ | |||||||||||||||
| X ∧ Y | |||||||||||||||||
| X ↔ Y | |||||||||||||||||
| X ∧ | Y | ||||||||||||||||
| X ∨ Y | |||||||||||||||||
| 1.53.Определите,для какой из формул,записанных справа,формула,за | |||||||||||||||||
| писанная слева, | СДН -формой. | - | |||||||||||||||
| является | |||||||||||||||||
| Z →(X ∧ Y | |||||||||||||||||
| (X ∧ Y ∧ Z ∨(X ∧ Y ∧ Z ∨(X ∧ Y ∧ Z | ) | ||||||||||||||||
| ) | ) | ) | |||||||||||||||
| (X | ∧ Z | Y | |||||||||||||||
| ) | |||||||||||||||||
| → | |||||||||||||||||
| (X | Y | → Z | |||||||||||||||
| (( | ∧ | ) | Y | → | ) | ||||||||||||
| ∨ | Z | ||||||||||||||||
| X | ) | ||||||||||||||||
| (X | Y | ||||||||||||||||
| ∧ | ) | Z | |||||||||||||||
| → | |||||||||||||||||
| 1.54.Определите,для какой из формул,записанных справа,формула,за | |||||||||||||||||
| писанная слева, | СКН-формой. | - | |||||||||||||||
| является | |||||||||||||||||
| (X ∧ Z | (Y ↔ Z) | ||||||||||||||||
| (X ∨ Y ∨ Z (X ∨ Y ∨ Z)∧(X ∨ Y ∨ Z | ) | ||||||||||||||||
| → | |||||||||||||||||
| ) | ) | ||||||||||||||||
| (X ↔ Y | (X ∧ Z | ||||||||||||||||
| ∧ | |||||||||||||||||
| ) | ) | ||||||||||||||||
| → | |||||||||||||||||
| (X ∨ Y | (X ∧ Z | ||||||||||||||||
| ) | ) | ||||||||||||||||
| → | |||||||||||||||||
| (Y ↔ Z | →(X ∨ Y | ||||||||||||||||
| ) | ) | ||||||||||||||||
