Part A:

Complete the following resolution step:

P OR Q OR -S, S OR R

Choices:

P AND R

P OR R

P OR Q OR -S OR S OR R

P AND Q AND -S AND S AND R

P OR Q OR R

P AND Q AND R

No Conclusion

Part B:

Complete the following resolution step:

P, -P

Choices:

P

-P

P OR -P

P AND -P

P -> -P

No conclusion