Question

Consider the following sentences in propositional logic:

1. Battery-OK Λ Bulbs-OK → Headlights-work
2. Battery-OK Λ Started-OK Λ ┐Empty-Gas-Tank → Engine-Starts
3. Engine-Starts Λ ┐Flat-Tire → Car-OK
4. Radio-Works → Battery-OK
5. ┐Headlights-Work
6. ┐Empty-Gas-Tank
7. Radio-Works
8. Starter-OK
9. ┐Flat-Tire

Transform each of these sentences into clauses.

Answer 1

1)Battery-OK Λ Bulbs-OK → Headlights-work  

answer)if battery-ok and bulbs-ok then headlights-work.

2)Battery-OK Λ Started-OK Λ ┐Empty-Gas-Tank → Engine-Starts

answer)if battery-ok and started-ok and not empty-gas-tank then engine-starts.

3)Engine-Starts Λ ┐Flat-Tire → Car-OK

answer)if engine-starts and not Flat-Tire then Car-ok

4)Radio-Works → Battery-OK

answer)if radio-works then battery-ok

5)┐Headlights-Work

answer)no headlights-work

6)┐Empty-Gas-Tank

answer)no empty-gas-tank

7)Radio-Works

answer)Radio-works

8)Starter-Ok

answer)starter-ok'

9)┐Flat-Tire

answer)no flat-tire