Please post your solutions to the practice final problems to this thread.

Best,

Chris

Question 2: Quang Duy Tran - Matthew Fu - Phuoc Le

<nowiki> Question 1: Phuc Le, Philip Zeng, Andre Domingo

A valid formula: AA, this is always true A satisfiable formula that is not valid: (AB) {A=True}, satisfiable with A true and B true. Not satisfiable with A false and B false An unsatisfiable formula: AA {A=False}, not satisfiable because it is always false </nowiki>

Question 8: Andrew Lao, Alan Ngo

Capital letters mean that the element is a Variable while lowercase means that the element is a constant (either True or False but not both). In this case, Cavity is capitalized, meaning that you need to use both cavity and not cavity. The element, toothache, is lowercase meaning that you only use the true case since it's not negated.

Question 10: Sean McCollum, Nicholas Semaan, Kaleigh Mikowicz

Name: Tanay Agrawal and Mohibkhan Pathan

Question 7: Qui Le and Jason Huynh

Question 5: Abey John, Gokul Krishna

Minh Hung Le

Sweta Pradhan

'''Question 6:'''

'''Init:''' Available(RedSock1) Available(RedSock2) Available(BlueSock1) Available(BlueSock2) Available(LeftShoe) Available(RightShoe) Empty(Leftfeet) Empty(Rightfeet)

'''Goal: '''LeftFeet(RedSock1) RightFeet(RedSock2) LeftFeet(Leftshoe) RightFeet(RightShoe)

===========================================================================

Action PutSock(sock1, sock2)

Precond: Available(sock1) Available(sock2) Empty(leftfeet) Empty(rightfeet) SameColor(sock1,sock2)

Effect: NotAvaiable(sock1) NotAvailable(sock2) LeftFeet(sock1) RightFeet(sock2) Empty(Leftfeet) Empty(Rightfeet)

=========================================================================== Action PutShoe(leftShoe, rightShoe)

Precond: LeftFeet(sock1) RightFeet(sock2) Available(LeftShoe) Available(RightShoe)

Effect: NotAvaiable(LeftShoe) NotAvailable(RightShoe) LeftFeet(LeftShoe) RightFeet(RightShoe)

===========================================================================

Solution(PutSock(RedSock1, RedSock2), PutShoe(LeftShoe, RightShoe)))

Tony Duong Matthew Maksim '''Question 10'''