diff options
author | Thomas Voss <mail@thomasvoss.com> | 2024-09-05 15:37:32 +0200 |
---|---|---|
committer | Thomas Voss <mail@thomasvoss.com> | 2024-09-05 15:37:32 +0200 |
commit | 0ef367f61d437c1820ce067197b25ae088678d05 (patch) | |
tree | 35c3a5c3a99553c1049691e76edfe8148c072c37 /README | |
parent | 899e79466bb46b6600e55c335b1bf5b3c6c072ff (diff) |
Update README
Diffstat (limited to 'README')
-rw-r--r-- | README | 13 |
1 files changed, 13 insertions, 0 deletions
@@ -52,6 +52,19 @@ The list of operators are as follows: Implication │ ⇒, => Equivalence │ ⇔, <=> +Sometimes if your query is rather long, you may want to break it up +across multiple lines. To do this you can make use of line-continuation +by prefixing each continued line with a backslash. The following two +inputs are identical. + + p ∧ ¬q | ¬p ∧ q | (¬p ∨ ¬q) ⇒ (p ∧ ¬q) ∨ (¬p ∧ q) + + p ∧ ¬q + \ | ¬p ∧ q + \ | (¬p ∨ ¬q) ⇒ + \ (p ∧ ¬q) ∨ (¬p ∧ q) + + By default generated tables express boolean values as the binary digits 0 and 1, and are drawn using ASCII characters or Unicode characters if the user is in a UTF-8 locale. This can all be customized with use of the |