Skip to content

Commit

Permalink
Update en.json
Browse files Browse the repository at this point in the history
correction in demorgan 3 and 4
  • Loading branch information
josjelodder authored Apr 16, 2024
1 parent 5d1d0eb commit 95c1153
Showing 1 changed file with 4 additions and 4 deletions.
8 changes: 4 additions & 4 deletions src/lang/en.json
Original file line number Diff line number Diff line change
Expand Up @@ -60,13 +60,13 @@
"demorgan1": "You have applied De Morgan incorrectly, don't forget the negation signs.",
"demorgan2": "When applying De Morgan, don't forget to remove the negation sign outside of the brackets.",
"demorgan3": {
"#": "When applying De Morgan, don't forget to change the disjunction into a conjunction.",
"inv": "When applying De Morgan, don't forget to change the disjunction into a conjunction."
},
"demorgan4": {
"#": "When applying De Morgan, don't forget to change the conjunction into a disjunction.",
"inv": "When applying De Morgan, don't forget to change the conjunction into a disjunction."
},
"demorgan4": {
"#": "When applying De Morgan, don't forget to change the disjunction into a conjunction.",
"inv": "When applying De Morgan, don't forget to change the disjunction into a conjunction."
},
"demorgan5": "When applying De Morgan, take care where you place the brackets. You have inadvertently changed the application range of the negation.",
"distr": {
"#": "You have applied distribution incorrectly. Take care where you put the conjunctions and where you put the disjunctions.",
Expand Down

0 comments on commit 95c1153

Please sign in to comment.