## Discussion Forum

Que. | If X, then Y unless Z" is represented by which of the following formulae in propositional logic? ("¬" is negation "^" is conjunction, and "→" is implication) |

a. | (X ^ ¬ Z) → Y |

b. | (X ^ Y) → ¬ Z |

c. | (X → (Y ^ ¬ Z) |

d. | (X → Y(^ ¬ Z) |

Answer:(X ^ ¬ Z) → Y |