Как ни странно, думаю, смог бы сделать и сейчас на тройку.
Первое - банальная проверка знаний базовых понятий булевой алгебры (конъюнкция, дизъюнкция, не и т.д.).
Второе - привести выражение в ДНФ (форма, где выражение представлено как дизъюнкция конъюнкций множеств), а потом в алегрбе Жегалкина (вот это либо подзабыл, либо не ебу).
Остальное лень расписывать, но думаю, потужившись, сделал что-то.
а как же это лол