snsd0805/NTU-AI-HW3
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

feat: q2

Browse Source
This commit is contained in:
snsd0805 2024-04-23 01:05:27 +08:00
parent 740994568c
commit 5267fb4808
Signed by: snsd0805
GPG Key ID: 569349933C77A854
1 changed files with 5 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
logicPlan.py
View File

@ -177,7 +177,7 @@ def atLeastOne(literals: List[Expr]) -> Expr:
True True
""" """
"*** BEGIN YOUR CODE HERE ***" "*** BEGIN YOUR CODE HERE ***"
util.raiseNotDefined() return logic.disjoin(literals)
"*** END YOUR CODE HERE ***" "*** END YOUR CODE HERE ***"
@ -189,7 +189,9 @@ def atMostOne(literals: List[Expr]) -> Expr:
itertools.combinations may be useful here. itertools.combinations may be useful here.
""" """
"*** BEGIN YOUR CODE HERE ***" "*** BEGIN YOUR CODE HERE ***"
util.raiseNotDefined()
return logic.conjoin([ (~pair[0] | ~pair[1]) for pair in itertools.combinations(literals, 2)])
"*** END YOUR CODE HERE ***" "*** END YOUR CODE HERE ***"
@ -200,7 +202,7 @@ def exactlyOne(literals: List[Expr]) -> Expr:
the expressions in the list is true. the expressions in the list is true.
""" """
"*** BEGIN YOUR CODE HERE ***" "*** BEGIN YOUR CODE HERE ***"
util.raiseNotDefined() return atLeastOne(literals) & atMostOne(literals)
"*** END YOUR CODE HERE ***" "*** END YOUR CODE HERE ***"
#______________________________________________________________________________ #______________________________________________________________________________