Дискретные структуры

Задано две формулы с логическими операциями (см. 6.1). Проверьте их эквивалентность.
6.1
Задана формула, в которой логические операции обозначены «*» - AND, «+» - OR, «-» - NOT, «%» - XOR. Имена переменных начинаются с буквенных символов. Могут использоваться константы «0» и «1». Операции могут быть сгруппированы скобками.
По заданным значениям переменных, посчитайте и выведите результат.