¬
∧
∨
↔
→
(
)
Help
! ~ ¬ | not / negation |
|---|---|
&& & ∧ * ⋅ | and / conjunction |
|| | ∨ + | or / disjunction |
<-> <> = ↔ | bi-directional implication |
-> > → | implication |
You can use ( )
All variable names that match [a-zA-Z_][a-zA-Z0-9_]* are allowed
Input
! ~ ¬ | not / negation |
|---|---|
&& & ∧ * ⋅ | and / conjunction |
|| | ∨ + | or / disjunction |
<-> <> = ↔ | bi-directional implication |
-> > → | implication |
You can use ( )
All variable names that match [a-zA-Z_][a-zA-Z0-9_]* are allowed