Merge pull request #26 from eliascarv/operators

Refator: operators
eliascarv · Feb 5, 2023 · f504797 · f504797
2 parents 1cf1a10 + c23e149
commit f504797
Showing 1 changed file with 4 additions and 5 deletions.
diff --git a/src/operators.jl b/src/operators.jl
@@ -1,9 +1,8 @@
 (-->)(x::Bool, y::Bool) = !x || y
-(<-->)(x::Bool, y::Bool) = x ≡ y
-∧(x::Bool, y::Bool) = x && y
-∨(x::Bool, y::Bool) = x || y
-¬(x::Bool) = !x
-
+const (<-->) = (===)
+const ∧ = &
+const ∨ = |
+const ¬ = !
 const → = (-->)
 const ⇒ = (-->)
 const ↔ = (<-->)