Skip to content

Commit

Permalink
clean up logical operation
Browse files Browse the repository at this point in the history
  • Loading branch information
@Samuel-Lubliner
Samuel-Lubliner committed Sep 25, 2024
1 parent 34158e3 commit 99e9906
Showing 1 changed file with 8 additions and 11 deletions.
19 changes: 8 additions & 11 deletions source/logic/sec-logical-operation.ptx
View file
Original file line number Diff line number Diff line change
Expand Up @@ -7,37 +7,37 @@
<idx><h>logical operators</h><h>biconditional</h></idx>
<introduction>
<p>
In Sage, logical operations such as AND <c>&amp;</c>, OR <c>|</c>, NOT <c>~</c>, conditional <c>-&gt;</c>, and biconditional <c>&lt;-&gt;</c> play crucial roles in constructing and evaluating logical expressions.
In Sage, the logical operators are AND <c>&amp;</c>, OR <c>|</c>, NOT <c>~</c>, conditional <c>-&gt;</c>, and biconditional <c>&lt;-&gt;</c>.
</p>
<tabular>
<row>
<cell>Operator</cell>
<cell>Symbol</cell>
<cell>Name</cell>
<cell>Sage Operator</cell>
<cell>Mathematical Notation</cell>
</row>
<row>
<cell>AND</cell>
<cell>&amp;</cell>
<cell><c>&amp;</c></cell>
<cell><m>\land</m></cell>
</row>
<row>
<cell>OR</cell>
<cell>|</cell>
<cell><c>|</c></cell>
<cell><m>\lor</m></cell>
</row>
<row>
<cell>NOT</cell>
<cell>~</cell>
<cell><c>~</c></cell>
<cell><m>\lnot</m></cell>
</row>
<row>
<cell>Conditional</cell>
<cell>-&gt;</cell>
<cell><c>-&gt;</c></cell>
<cell><m>\rightarrow</m></cell>
</row>
<row>
<cell>Biconditional</cell>
<cell>&lt;-&gt;</cell>
<cell><c>&lt;-&gt;</c></cell>
<cell><m>\leftrightarrow</m></cell>
</row>
</tabular>
Expand All @@ -61,9 +61,6 @@
A = propcalc.formula('(p &amp; q) | (~p)')
show(A)
</input>
<output>
# Displays the Boolean formula (p AND q) OR (NOT p) in mathematical notation.
</output>
</sage>
</subsection>

Expand Down

0 comments on commit 99e9906

Please sign in to comment.