Произведите дистрибутивные преобразования логического описания вариантов бабушкиной СПР, рассмотренной в Лекции 1. Высказывания о событиях имеют вид:
x1= "После завтрака",x2= "После обеда",x3= "После ужина",x4= "Весной",x5= "Летом",x6= "Осенью",x7= "Зимой".
1. x1 ∧ x4 → R1= "Прогулка на велосипеде";2. (x1 ∧ x6) ∨ (x2 ∧ x4) → R2= "Шахматы";3. (x2 ∧ x5) ∨ (x1 ∧ x7) → R3= "Верховая езда";4. (x1 ∧ x5) ∨ (x2 ∧ x6) → R4= "Байдарка";5. x3 ∧ (x4 ∨ x6) → R5= "Дискотека";6. (x2 ∧ x7) ∨ (x3 ∧ (x5 ∨ x7)) → R6= "Пешая прогулка"
1. x1 ∧ x4 → R1= "Прогулка на велосипеде";2. (x1 ∧ x6) ∨ (x2 ∧ x4) → R2= "Шахматы";3. (x2 ∧ x5) ∨ (x1 ∧ x7) → R3= "Верховая езда";4. (x1 ∧ x5) ∨ (x2 ∧ x6) → R4= "Байдарка";5. x3 ∧ (x4 ∨ x6) → R5= "Дискотека";6. (x2 ∧ x7) ∨ (x3 ∧ x5) → R6= "Пешая прогулка"
1. x1 ∧ x4 → R1= "Прогулка на велосипеде";2. (x1 ∧ x6) ∨ (x2 ∧ x4) → R2= "Шахматы";3. (x2 ∧ x5) ∨ (x1 ∧ x7) → R3= "Верховая езда";4. (x1 ∧ x5) ∨ (x2 ∧ x6) → R4= "Байдарка";5. x3 ∧ (x4 ∨ x6) → R5= "Дискотека";6. (x2 ∧ x7) ∨ x3 → R6= "Пешая прогулка";7. x5 ∨ x7 → R6= "Пешая прогулка".
1. x1 ∧ x4 → R1= "Прогулка на велосипеде";2. (x1 ∧ x6) ∨ (x2 ∧ x4) → R2= "Шахматы";3. (x2 ∧ x5) ∨ (x1 ∧ x7) → R3= "Верховая езда";4. (x1 ∧ x5) ∨ (x2 ∧ x6) → R4= "Байдарка";5. x3 ∧ (x4 ∨ x6) → R5= "Дискотека";6. x2 ∧ x7 → R6= "Пешая прогулка";7. x3 ∧ (x5 ∨ x7) → R6= "Пешая прогулка"(Верный ответ)