From c10da01c6f057552a0f8283a80204ea69bea6ab3 Mon Sep 17 00:00:00 2001 From: Avi Date: Thu, 5 Sep 2024 16:09:29 +0300 Subject: [PATCH] Update README.md --- math/logic/README.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/math/logic/README.md b/math/logic/README.md index ac1d420..286740f 100644 --- 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 \ No newline at end of file +using the SymPy library