Prog 1ère
1ère
Logik
Logtools
2ème
Materiel
AIkrates
🌙
Français
LOG
CHECK
⊢
A
Negate
A
Remove negation
AB
Merge
∧
Conjunction
∨
Disjunction
→
Implication
↔︎
Biconditional
(
Open
)
Close
[
Open
]
Close
{
Open
}
Close
