mirror of
https://github.com/ProvableHQ/leo.git
synced 2024-12-28 20:54:16 +03:00
8 lines
131 B
Plaintext
8 lines
131 B
Plaintext
// !(true && (false || true))
|
|
function main() -> bool {
|
|
let a = true;
|
|
let b = false || a;
|
|
let c = !(true && b);
|
|
|
|
return c
|
|
} |