Update README.md

avipars · Sep 5, 2024 · c10da01 · c10da01
1 parent fbf17de
commit c10da01
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/math/logic/README.md b/math/logic/README.md
@@ -54,11 +54,11 @@ Here are some stuff worth knowing (on top of the basic gates/symbols)
 
     - Called If then, implies, or conditional
 
-  * A ↔ B = A ⊙ B 
+  * A ↔ B = A ⊙ B ≡ (A ⇒ B) ∧ (B ⇒ A)
 
   - if and only if = xnor
 
-  - (A ⇒ B) ∧ (B ⇒ A)
+  * A ⊕ B ≡ (A ∧ ¬B) ∨ (¬A ∧ B)
 
 ###  English to Logic
 
@@ -311,4 +311,4 @@ Edge = Arc
 
 Python and programming aren't required for the course but its a good way to check your work!
 and view my sample program for testing logic * [here](/math/logic/program.py)
-using the SymPy library
+using the SymPy library