доказать тождество, "логическое вычитание"? Опции

[Madam]

Всем привет. Особенно Atos’у. Может кто-нибудь подскажет как решить такую задачу.
Доказать тождество:

((d - a)v(d ~ a)) - ((c-b) ↓ (┐c(+)b))=((a v d)^(d →b)) → ((c ^ d)(c-a))

Во избежание разночтений в обозначениях:
┐ - Инверсия
^ - Конъюнкция
v - Дизъюнкция
→ - Импликация
↓ - Стрелка Пирса
(+) - Сумма по модулю 2
Меня смущает обычный минус (-) в примере, преподша, так и не смогла толком ответить на мой вопрос, обещала посмотреть учебник и молчит (нахватают часов у заочников, а сами предмета толком не знают). Что то проблеяла про «логическое вычитание», но в булевой алгебре такой связки не встречала. Если такое чудо существует, то какая у него таблица истинности и тождественая формула? Пыталась обойти эти скобки, но все равно тождество у меня не сошлось.

[мисс_граффити]

простой плюс - это логическое сложение, оно же "или", оно же дизъюнкция. Очень часто используется.
Смущает, что одно действие в одном задании обозначено по-разному. Обычно выбирают все же один из этих способов...
Логическим вычитанием иногда называют функцию xor... Но чтобы минусом обозначали - ни разу не видела.

[Madam]

простой плюс - это логическое сложение, оно же "или", оно же дизъюнкция. Очень часто используется.
Смущает, что одно действие в одном задании обозначено по-разному. Обычно выбирают все же один из этих способов...
Логическим вычитанием иногда называют функцию xor... Но чтобы минусом обозначали - ни разу не видела.

Совершенно с Вами согласна. Это-то и сбивает с толку.