Используя метод карт Карно или Вейча найдите минимальные ДНФ и КНФ

Учитывая, что x→y=x+y, x⊕y=xy+xy, находим
X=ABC→BDCD→D+B=
=A+B+C+BDC+D+D+B=
=A+B+C∙1+B=A+B+C+B=1.
Y=A⊕B→BC=A⊕B+BC=
=AB+AB+BC.
Здесь мы использовали соотношение A⊕B=A~B.
Наконец
Ψ=X→Y=0+Y=AB+AB+BC.
Заполним карту Карно.
AB\CD 00 01 11 10
00 0 0 0 0
01 -39370107951 1 1 1
11 0 0 -58420254001 1
10 -3937095251 1 1 1
Одна из минимальных ДНФ имеет вид:
f=AB+AB+AC.
Строим минимальную ДНФ обратной функции:
AB\CD 00 01 11 10
00 -39370196850 0 0 0
01 1 1 1 1
11 -3937031750 0 1 1
10 1 1 1 1
Получили минимальную ДНФ обратной функции:
f=AB+ABC.
Получаем, далее, минимальную КНФ:
f=A+BA+B+C.