∨

Bitwise or and est-negation operators.

Syntax: <expression> ∨ <expression> | <expression> is not <expression>

Category#

logic

Related#

• ∧
• ⊻
• ¬
• and
• or
• coalesce
• non est
• is

Examples#

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

Bitwise or and est-negation operators.

# =============================================================================
# ∨ — Bitwise or and est-negation operators.
# =============================================================================
#
# What this teaches:
#   • Bitwise or — `∨` combines bit flags; distinct from logical short-circuit `or` and `vel`.
#   • Negated est — `is not` checks that a value is not null or not equal to a target.
#
# Common mistakes:
#   • Confusing ∨ (bitwise or) with or (exclusive or) or vel (inclusive or).
#
# See also: ∧, ⊻, ¬, et, or, vel, is not, est
# =============================================================================

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

main {
    const _ vexilla ← 0b1010
    const _ persona ← 0b1100
    const _ velata ← vexilla ∨ persona
    # 14 (0b1110)
    print velata
    const string ∪ none praesens ← "salve"
    const string ∪ none absens ← null
    const bool habetValorem ← praesens not is none
    # true
    print habetValorem
    const bool caretValorem ← absens not is none
    # false
    print caretValorem
}

Expected output:

14
verum
falsum