Exercise $1$

A library implements a new borrowing system with the following rules:

If a book is popular, it can only be borrowed for $7$ days.

A book can be renewed once unless it's a new release.

Any book borrowed for $7$ days is either popular or a new release or both.

A patron wants to borrow a popular book and wishes to know if they can renew it$.$

a$.$ Use Model Checking $($Truth Table$)$

b$.$ Use resolution.

Exercise $2$

You're planning a garden and have the following considerations:

If you plant tomatoes, you will need to install a fence.

You will plant tomatoes or carrots.

You don't want to install a fence.

Determine what you should plant in your garden. Use resolution.

a$.$ Use Model Checking $($Truth Table$)$

b$.$ Use resolution.