mirror of
https://github.com/ProvableHQ/leo.git
synced 2024-12-27 12:13:41 +03:00
20 lines
191 B
Plaintext
20 lines
191 B
Plaintext
/*
|
|
namespace: ParseExpression
|
|
expectation: Pass
|
|
*/
|
|
|
|
!x
|
|
!x()
|
|
!!x
|
|
|
|
|
|
!-x.not()
|
|
x.not().not().not()
|
|
-x.not()
|
|
(-x).not()
|
|
-(x.not())
|
|
(-x.not()).not()
|
|
!x.not()
|
|
(!x).not()
|
|
!(x.not())
|
|
(!x.not()).not() |