Найти общие решения дифференциальных уравнений

На нашей планете более 250 стран.  

У каждого народа существуют свои традиции и характерные черты.  

У каждого народа есть свои символы, отразившие художественные  

представления о мире.  

Художественные символы народов мира  

Стоунхендж Великобритания Эймсбери  

Египетские пирамиды. Египет  

Афинский Акрополь Греция Афины  

Великая китайская стена Китай  

Мачу-Пикчу Перу  

Петра Иордания  

 Тадж-Махал Индия Агра  

Статуя Христа-Искупителя Бразилия Рио-де-Жанейро  

Колизей. Рим. Италия  

Эйфелева башня Франция Париж  

Статуя Свободы США Нью-Йорк  

Сиднейский оперный театр Австралия Сидней  

Истуканы острова Пасхи  

Храмовый комплекс Ангкор. Камбоджа  

Архитектурный ансамбль Альгамбра. Испания г. Гранада

F(x; y; z) = (x ∧ ¬y) => ¬(¬x <=> z)
Импликация раскрывается так: a => b = ¬a ∨ b
Эквивалентность раскрывается так: a <=> b = (¬a ∨ b) ∧ (a ∨ ¬b)
f(x; y; z) = ¬(x ∧ ¬y) ∨¬(¬x <=> z) = ¬(x ∧ ¬y) ∨ ¬[(x ∨ z) ∧ (¬x ∨ ¬z)] =
= ¬x ∨ y ∨ ¬[(x∧¬x) ∨ (z∧¬x) ∨ (x∧¬z) ∨ (z∧¬z)] =
= ¬x ∨ y ∨ ¬[0 ∨ (z∧¬x) ∨ (x∧¬z) ∨ 0] = y ∨ ¬x ∨ ¬(¬x∧z) ∧ ¬(x∧¬z) =
= y ∨ ¬x ∨ (x ∨ ¬z) ∧ (¬x ∨ z) = y ∨ ¬x ∨(x∧¬x) ∨ (¬x∧¬z) ∨ (x∧z) ∨ (z∧¬z) =
= y ∨ ¬x ∨ 0 ∨ (¬x∧¬z) ∨ (x∧z) ∨ 0 = y ∨ ¬x ∨ (x∧z) = y ∨ (¬x∨x) ∧ (¬x∨z) =
= y ∨ 1 ∧ (¬x ∨ z) = ¬x ∨ y ∨ z - ЭТО СДНФ
f(x; y; z) = x ∧ ¬y ∧ ¬z - ЭТО СКНФ