...
The shorter names T
, F
, !
, &
, |
, >
, and ?
are used instead of true
, false
, not
, and
, or
, implies
, and {{if
}) for notational brevity which matters in very large inputs.
...
...
The shorter names T
, F
, !
, &
, |
, >
, and ?
are used instead of true
, false
, not
, and
, or
, implies
, and {{if
}) for notational brevity which matters in very large inputs.
...