Я пытаюсь доказать логические выражения, используя Z-нотацию. Но я новичок в языке Z. Помогите, пожалуйста, доказать приведенное выше логическое выражение.