Преобразовать формулу так, чтобы она содержала только булевы операции, упростить

Здесь нет формулы.
А какие из участвующих в выражении операций вы не признаёте булевыми и почему?

∀x(A(x)→∃z(C(z) ) )&∀y(C(z)→B(y))→(A(x)→B(y))

Как можно корректно посчитать среднее средних, чтобы это совпадало с общим средним?

Допустим, у меня есть очень много данных по дням. Хочу посчитать общее среднее. Чтобы оптимизировать операции, я группирую данные по дням, беру среднее дня, а потом группирую среднее средних дней.

Думал, что можно решить при добавлении весов при вычислении общего среднего, но проблема в том, что результатом одного из дней может быть 0, и тогда веса не очень работают, а результат искажается.