Произведём замену: y1 = x1 ≡ x2; y2 = x3 ≡ x4; y3 = x5 ≡ x6; y4 = x7 ≡ x8. Получим уравнение:
(y1 → y2) ∧ (y2 → y3) ∧ (y3 → y4) = 1.
Логическое И истинно, только тогда, когда истины все утверждения, поэтому данное уравнение эквивалентно системе уравнений:
Импликация ложна только в случае, если из истинного следует ложное. Данная система уравнений описывает ряд переменных {y1, y2, y3, y4}. Заметим, что если любую переменную из этого ряда приравнять 1, то все следующие должны также быть равны 1. То есть решения системы уравнений: 0000; 0001; 0011; 0111; 1111.
Уравнения вида xN ≡ x{N+1} = 0 имеют два решения, уравнения вида xN ≡ x{N+1} = 1 также имеет два решения.
Найдём сколько наборов переменных x соответствуют каждому из решений y.
Каждому из решений 0000; 0001; 0011; 0111; 1111 соответствует 2 · 2 · 2 · 2 = 16 решений. Всего 16 · 5 = 80 решений.
ответ: 80.
Лейбниц — один из важнейших представителей новоевропейской метафизики, в центре внимания которой — вопрос о том, что такое субстанция. Лейбниц развивает систему, получившую название субстанциальный плюрализм или монадология.
Важнейшими научными достижениями Лейбница являются то, что Лейбниц, независимо от Ньютона, создал математический анализ — дифференциальное и интегральное исчисление и в 1684 публикует первую в мире крупную работу по дифференциальному исчислению: «Новый метод максимумов и минимумов». В этой работе Лейбница излагаются основы дифференциального исчисления, правила дифференцирования выражений. Используя геометрическое истолкование отношения dy/dx, он кратко разъясняет признаки возрастания и убывания, максимума и минимума, выпуклости и вогнутости (следовательно, и достаточные условия экстремума для простейшего случая), а также точки перегиба. Попутно без каких-либо пояснений вводятся «разности разностей» (кратные дифференциалы), обозначаемые ddv.
Также создал комбинаторику как науку; только он во всей истории математики одинаково свободно работал как с непрерывным, так и с дискретным. Готфрид Вильгельм обосновал необходимость регулярно измерять у больных температуру тела. Задолго до Зигмунда Фрейда привёл доказательства существования подсознания человека.
Надеюсь
