Здравствуйте! Есть вот такие задания
Упростить выражения:
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)))))`
мое решение
Прошу проверить, и, если есть ошибки, написать, где.
Заранее спасибо за помощь!
Упростить выражения:
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)))))`
мое решение
Прошу проверить, и, если есть ошибки, написать, где.
Заранее спасибо за помощь!
1) неверно... много лишних телодвижений... потеряли значок дополнения к `A` при переписывании очередного телодвижения...
2) второе задание, по-моему, имеет странное условие... объединение и пересечение не имеют приоритета относительно друг друга... там, по-моему, не хватает скобок...
3) тоже неверно... очевидно, что ответ не будет зависеть от `B`... (ведь если Вы множество `A` объединяете с другим множеством (здесь это `bar(B)`), а потом результат пересекаете с `A`, то естественно, что получится `A`... вроде, это называется закон поглощения...)...
4) Ну, тут ответ совпал... ошибок не вижу... но я преобразовывал бы не так...
5) неверно... пользуясь дистрибутивностью почему-то написали только одно "слагаемое"... а второе потеряли...
Можно было сразу по ассоциативности переписать: ` (Annbar(B))uu(bar(A)nnbar(C))uuBuuC=((Annbar(B))uuB)uu((bar(A)nnbar(C))uuC)` и в каждой скобке применить дистрибутивный закон.
Ответы получились такие
1, 2. Универсальное множество
3-5. Пустое
Вроде так
Спасибо за помощь!
Только большая просьба на будущее... если уж такие небольшие решения Вам лень набрать текстом, то выкладывайте картинки средствами сайта (кнопка - вставить картинку, потом выбрать вариант - вставить под MORE)...