rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

DOC: teletype font for reification

Browse Source
This commit is contained in:
Markus Triska
2023-02-03 20:44:11 +01:00
parent 17450520ba
commit 196e9c1e47
1 changed files with 7 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files

14
src/lib/clpz.pl
View File

@@ -895,13 +895,13 @@ their truth values into Boolean values represented by the integers 0
and 1. Let P and Q denote reifiable constraints or Boolean variables,
then:
| #\ Q | True iff Q is false |
| P #\/ Q | True iff either P or Q |
| P #/\ Q | True iff both P and Q |
| P #\ Q | True iff either P or Q, but not both |
| P #<==> Q | True iff P and Q are equivalent |
| P #==> Q | True iff P implies Q |
| P #<== Q | True iff Q implies P |
| `#\ Q` | True iff Q is false |
| `P #\/ Q` | True iff either P or Q |
| `P #/\ Q` | True iff both P and Q |
| `P #\ Q` | True iff either P or Q, but not both |
| `P #<==> Q` | True iff P and Q are equivalent |
| `P #==> Q` | True iff P implies Q |
| `P #<== Q` | True iff Q implies P |
The constraints of this table are reifiable as well.