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

-- Practice Final Problems

Question 2: Quang Duy Tran - Matthew Fu - Phuoc Le ((resource:3E866EC0-83F6-4E48-9C2B-815A104321CD.jpeg|Resource Description for 3E866EC0-83F6-4E48-9C2B-815A104321CD.jpeg))

-- Practice Final Problems

<nowiki> Question 1: Phuc Le, Philip Zeng, Andre Domingo A valid formula: A∨¬A, this is always true A satisfiable formula that is not valid: (A∨B) {A=True}, satisfiable with A true and B true. Not satisfiable with A false and B false An unsatisfiable formula: A∧¬A {A=False}, not satisfiable because it is always false </nowiki>

-- Practice Final Problems

Question 8: Andrew Lao, Alan Ngo ((resource:IMG_3707.jpg|Resource Description for IMG_3707.jpg)) 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.

-- Practice Final Problems

Question 10: Sean McCollum, Nicholas Semaan, Kaleigh Mikowicz ((resource:PracticeFinal.png|Resource Description for PracticeFinal.png))

-- Practice Final Problems

((resource:160AB470-DEEB-41A1-ADFF-EC33E6939B00.jpeg|Resource Description for 160AB470-DEEB-41A1-ADFF-EC33E6939B00.jpeg)) Name: Tanay Agrawal and Mohibkhan Pathan

-- Practice Final Problems

Question 7: Qui Le and Jason Huynh ((resource:final-questtion-7.jpg|Resource Description for final-questtion-7.jpg))

-- Practice Final Problems

Question 5: Abey John, Gokul Krishna ((resource:Screen Shot 2022-12-05 at 2.47.59 PM.png|Resource Description for Screen Shot 2022-12-05 at 2.47.59 PM.png))

-- Practice Final Problems

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))) @BT@@BT@@BT@

-- Practice Final Problems

Tony Duong Matthew Maksim '''Question 10''' ((resource:20221205_145437.jpg|Resource Description for 20221205_145437.jpg))