∨

Bitwise or and est-negation operators.

Syntax: <expression> ∨ <expression> | <expression> non est <expression>

Category

logic

Related

• ∧
• ⊻
• ¬
• et
• aut
• vel
• non est
• est

Examples

examples/corpus/operatores/logica.fab (canonical · operator-group)

Bitwise or and est-negation operators.

# operatores/logica — ∨ and non est
#
# GRAMMAR:
#   binaryExpr :← expr ('∨' | 'non' 'est') expr
#
# EXPECTED OUTPUT:
#   14, verum, falsum
#
# BACKEND:
#   Cross-ref boolean short-circuit: et/et.fab, aut/binarius.fab, vel/binarius.fab.
#   Negated est parses as `expr non est target`.

incipit {
    fixum _ vexilla ← 0b1010
    fixum _ persona ← 0b1100
    fixum _ velata ← vexilla ∨ persona
    # 14 (0b1110)
    nota velata

    fixum textus ∪ nihil praesens ← "salve"
    fixum textus ∪ nihil absens ← nihil
    fixum _ habetValorem ← praesens non est nihil
    # verum
    nota habetValorem

    fixum _ caretValorem ← absens non est nihil
    # falsum
    nota caretValorem
}

Expected output:

14
verum
falsum