fix docs

Author: GiggleLiu

src/networks/Satisfiability.jl

@@ -68,7 +68,8 @@ Negation of a boolean variables of type [`BoolVar`](@ref).
 """
     ∨(vars...)
 
-Logical or that applied on [`BoolVar`](@ref) and [`CNFClause`](@ref) and returns a [`CNFClause`].
+Logical `or` applied on [`BoolVar`](@ref) and [`CNFClause`](@ref).
+Returns a [`CNFClause`](@ref).
 """
 ∨(var::BoolVar{T}, vars::BoolVar{T}...) where T = CNFClause([var, vars...])
 ∨(c::CNFClause{T}, var::BoolVar{T}) where T = CNFClause([c.vars..., var])
@@ -78,7 +79,8 @@ Logical or that applied on [`BoolVar`](@ref) and [`CNFClause`](@ref) and returns
 """
     ∧(vars...)
 
-Logical and applied on [`CNFClause`](@ref) and [`CNF`](@ref) and returns a new [`CNF`].
+Logical `and` applied on [`CNFClause`](@ref) and [`CNF`](@ref).
+Returns a new [`CNF`](@ref).
 """
 ∧(c::CNFClause{T}, cs::CNFClause{T}...) where T = CNF([c, cs...])
 ∧(c::CNFClause{T}, cs::CNF{T}) where T = CNF([c, cs.clauses...])
@@ -155,4 +157,4 @@ end
 function tensor_for_clause(c::CNFClause{T}, a, b) where T
     n = length(c.vars)
     map(ci->any(i->~c.vars[i].neg == ci[i], 1:n) ? b : a, Iterators.product([[0, 1] for i=1:n]...))
-end
+end