mirror of
https://github.com/ProvableHQ/leo.git
synced 2024-12-27 20:24:52 +03:00
8 lines
150 B
Plaintext
8 lines
150 B
Plaintext
// !(true && (false || true))
|
|
function main() {
|
|
let a = true;
|
|
let b = false || a;
|
|
let c = !(true && b);
|
|
|
|
console.assert(c == false);
|
|
} |