« Z10513 » : différence entre les versions
!F = T |
+ MUL label with math symbols only |
||
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" |
|||
} |
} |
||
] |
] |
Version depuis le 6 août 2023 à 10:55
Affichage réduit de cette page sans Javascript.