en false negated is true Z10513en Test case
!F = T |
+ MUL label with math symbols only |
||
Line 38: | Line 38: | ||
"Z11K1": "Z1002", |
"Z11K1": "Z1002", |
||
"Z11K2": "false negated is true" |
"Z11K2": "false negated is true" |
||
}, |
|||
{ |
|||
"Z1K1": "Z11", |
|||
"Z11K1": "Z1360", |
|||
"Z11K2": "¬0 = 1" |
|||
} |
} |
||
] |
] |
Revision as of 10:55, 6 August 2023
This page displays in a limited way without JavaScript.