4) F = X + Y ^ ¬Z;

Примем стандартные обозначения: «+» — ИЛИ, «^» — И, «¬» — НЕ; операция И выполняется раньше ИЛИ.

Тогда F = X ∨ (Y ∧ ¬Z). Выражение уже записано в упрощённой форме.

Ответ: F = X ∨ (Y ∧ ¬Z).