validation-logics.txt

K --- Y  // K e Y são opcionais; K e Y NÃO possuem quaisquer relações.
K === Y  // K e Y são necessários; K e Y NÃO possuem quaisquer relações.
K --> Y  // K e Y são opcionais; A presença de K demanda que Y esteja presente.
K --x Y  // K e Y são opcionais; A presença de K demanda que Y NÃO esteja presente.
K ==x Y  // K é necessário; A presença de K demanda que Y NÃO esteja presente (Y é proibido).
K ==> Y  // K é necessário; A presença de K demanda que Y esteja presente (Y é necessário)
K <=> Y  // K e Y são necessários; A presença de K demanda que Y esteja presente; A presença de Y demanda que K esteja presente.
K <-> Y  // K e Y são opcionais; A presença de K demanda que Y esteja presente; A presença de Y demanda que K esteja presente.
K x-x Y  // K e Y são opcionais; A presença de K demanda que Y NÃO esteja presente; A presença de Y demanda que K NÃO esteja presente.
K x=x Y  // K e Y são proibidos; A presença de K demanda que Y NÃO esteja presente; A presença de Y demanda que K NÃO esteja presente.

L :: R // a expressão à esquerda (L) equivale à expressão (ou expressões) à direita (R).

o // elemento da coluna está presente.
x // elemento da coluna NÃO está presente.

X // resulta em violação das regras de validação.
- // resulta em nada (ambos fatores estão faltantes).
A // resulta em SOMENTE A.
B // resulta em SOMENTE B.
AB // resulta na combinação de A e B (ambos fatores estão presentes).

1) A --- B

A B |
----+---
o x | A  
x o | B
o o | AB
x x | -

2) A === B :: A <== B :: A <=> B :: A ==> B

A B |
----+---
o x | X  
x o | X
o o | AB
x x | X

3) A --> B

A B |
----+---
o x | X  
x o | B
o o | AB
x x | -

4) A <-- B

A B |
----+---
o x | A  
x o | X
o o | AB
x x | -

5) A ==x B

A B |
----+---
o x | A  
x o | X
o o | X
x x | X

6) A x=x B

A B |
----+---
o x | X  
x o | X
o o | X
x x | X

7) A x== B

A B |
----+---
o x | X  
x o | B
o o | X
x x | Z

8) A x-- B :: A --x B

A B |
----+---
o x | A  
x o | B
o o | X
x x | -

9) A <-> B

A B |
----+---
o x | X  
x o | X
o o | AB
x x | -