def <==>(x: Bool, y: Bool): Bool
Returns true if x implies y and vise versa.
x
y
def ==>(x: Bool, y: Bool): Bool
Returns true if x implies y logically holds.
true
def and(x: Bool, y: Lazy[Bool]): Bool
Logical and.
def not(x: Bool): Bool
Negation of x
def or(x: Bool, y: Lazy[Bool]): Bool
Logical or.
def →(x: Bool, y: Bool): Bool
Alias for logical implication.
def ↔(x: Bool, y: Bool): Bool
Alias for logical bi-implication.
def ∧(x: Bool, y: Bool): Bool
Alias for logical conjunction.
def ∨(x: Bool, y: Bool): Bool
Alias for logical disjunction.
def ⊕(x: Bool, y: Bool): Bool
Alias for exclusive or.