« Z10513 » : différence entre les versions
!F = T |
+sv label |
||
| (2 versions intermédiaires par 2 utilisateurs non affichées) | |||
| Ligne 38: | Ligne 38: | ||
"Z11K1": "Z1002", |
"Z11K1": "Z1002", |
||
"Z11K2": "false negated is true" |
"Z11K2": "false negated is true" |
||
}, |
|||
{ |
|||
"Z1K1": "Z11", |
|||
"Z11K1": "Z1360", |
|||
"Z11K2": "¬0 = 1" |
|||
}, |
|||
{ |
|||
"Z1K1": "Z11", |
|||
"Z11K1": "Z1430", |
|||
"Z11K2": "Falsch negiert ist Wahr" |
|||
}, |
|||
{ |
|||
"Z1K1": "Z11", |
|||
"Z11K1": "Z1592", |
|||
"Z11K2": "icke falskt är sant" |
|||
} |
} |
||
] |
] |
||
Dernière version du 30 mars 2024 à 20:22
Affichage réduit de cette page sans Javascript.