Здравствуйте! Есть вот такие задания
Упростить выражения:
1.` bar((bar(A)uuB))uu((bar(AuuC))uuBuuC)`
мое решение
2.`bar(A)nnBnn((Cuubar(B))uu(Annbar(C)))uu[Ann(Buubar(C))uubar(B)uubar(C)]`
мое решение Разбил на две части, чтобы легче было. Тут не уверен, что правильно решил...
3.`[(Auubar(B))nnAnn(bar(C)uu(AnnC))]nnbar(A)`
мое решение
4.`[(Ann(bar(B)uuC))uubar((bar(A)uuC))]nnbar([AuuBuuD])`
мое решение
5.`bar(((bar(A)uuB)uu(Ann(Cuubar(B)))))`
мое решение
Прошу проверить, и, если есть ошибки, написать, где.
Заранее спасибо за помощь!