| {{ '' + variable }} | {{ '' + node }} |
|---|---|
| {{ cell }} |
Introdueix una expressió booleana com A ^ (B v C) al quadre i pressiona Analitzar.
Les operacions suportades són AND, OR, NOT, XOR,
IMPLIES, PROVIDED i EQUIV.
Les operacions i les constants no distingeixen les majúscules.
Les variables distingeixen les majúscules. Poden contenir més d'un caràcter alfanumèric, números i el símbol de la barra baixa, però no poden començar amb un número.
Operacions
Les operacions s'executen en ordre de precedència, des del més alt fins al més baix.
Les operacions amb el mateix nivell de precedència s'executen d'esquerra a dreta.
Per executar una operació en concret primer, envolta-la amb parèntesis ().
| Operació | Àlies | Retorna true si | Retorna false si | Precedència |
|---|---|---|---|---|
NOT A |
~ ' ! ¬ |
A és false. | A és true. | alta |
A AND B |
∧ ^ & · * |
tant A com B són true. | alguna de les dues o les dues són false. | mitja |
A EQUIV B |
⇔ ≡ ↔ = |
tant A com B són true; o les dues són false. | una és true i l'altra és false. | mitja |
A IMPLIES B |
⇒ → ⊂ < |
A és false; o A és true i B és true. | A és true o B és false. | mitja |
A PROVIDED B |
⇐ ← ⊃ > |
A és true i B és true; o B és false. | A és false i B és true. | mitja |
A OR B |
∨ v + ∥ | |
A és true; B és true; o les dues són true. | les dues són false. | baixa |
A XOR B |
⊻ ⊕ |
A és true i B és false; o A és false i B és true. |
les dues són true o les dues són false. | baixa |
Constants
| Constant | Àlies | Descripció |
|---|---|---|
TRUE |
1 T ⊤ true |
Sempre retorna true. |
FALSE |
0 F ⊥ false |
Sempre retorna false. |