математическая логика

[tennisru]

можете напомнить как упростить?
найти никак не могу что обознает стрелки эти, и как упростить все выражение?
((A xor not ↔ (B xor not C)) → A

[kiv]

Source of the post
можете напомнить как упростить?
найти никак не могу что обознает стрелки эти, и как упростить все выражение?
((A xor not ↔ (B xor not C)) → A

А прикольно смайлик смотрится

Думаю, имеются в виду ↔ - эквивалентность, и → - импликация.

Дальше воспользуйтесь теми же законами де Моргана, коммутативностями, ассоциативностями и т.д.

Окончательный ответ... Ну, в нем нет B , а A и C входят по одному разу и симметрично