Решение задач. Штрих Шеффера

Задача. На соревнованиях по лёгкой атлетике Андрей, Боря, Серёжа и Володя заняли первые четыре места. Но когда девочки стали вспоминать, как эти места распределились между победителями, то мнения разошлись:
Даша: Андрей был первым, а Володя – вторым.
Галя: Андрей был вторым, а Борис – третьим.
Лена: Боря был четвёртым, а Серёжа – вторым.
Ася, которая была судьёй на этих соревнованиях и хорошо помнила как распределились места сказала, что каждая из девочек сделала одно правильное и одно неправильное заявление.
Кто из мальчиков и какое место занял?
Ответ: Андрей занял первое место, Серёжа – второе, Боря – третье, Володя – четвёртое.

Штрих Шеффера

Так как таблицы значений не совпадают, то формулы не являются эквивалентными

Решение:
1 способ - с помощью равносильных преобразований
Произведем преобразования элементарных конъюнкций:

2 способ - с помощью таблиц истинности
Выделяем строки, где формула принимает значение 1, составляем дизъюнкцию конъюнкций и получаем СДНФ