' Verifica di equivalenze logiche
PRINT
PRINT TAB(2); "A"; TAB(5); "B";
PRINT TAB(20); "(A OR B)  EQV  (B OR (A AND NOT B))"
FOR A = -1 TO 0
FOR B = -1 TO 0
  PRINT A; TAB(4); B;
  PRINT TAB(25); (A OR B) EQV (B OR (A AND NOT B))
NEXT: NEXT
PRINT
PRINT TAB(2); "A"; TAB(5); "B"; TAB(8); "C";
PRINT TAB(20); "A AND (B OR C)  EQV  ((A AND B) OR (A AND C))"
FOR A = -1 TO 0
FOR B = -1 TO 0
FOR C = -1 TO 0
  PRINT A; TAB(4); B; TAB(7); C;
  PRINT TAB(25); A AND (B OR C) EQV ((A AND B) OR (A AND C))
NEXT: NEXT: NEXT