∨

Bitwise or and est-negation operators.

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

Category#

logic

Related#

• ∧
• ⊻
• ¬
• و
• أو
• عوض
• non est
• هو

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 `أو` and `vel`.
#   • Negated est — `ليس est` checks that a value is not null or not equal to a target.
#
# Common mistakes:
#   • Confusing ∨ (bitwise or) with أو (exclusive or) or vel (inclusive or).
#
# See also: ∧, ⊻, ¬, et, أو, vel, ليس est, est
# =============================================================================

# operatores/logica — ∨ and ليس est
#
# GRAMMAR:
#   binaryExpr :← expr ('∨' | 'ليس' 'est') expr
#
# EXPECTED OUTPUT:
#   14, صواب, خطأ
#
# BACKEND:
#   Cross-ref boolean short-circuit: et/et.fab, أو/binarius.fab, vel/binarius.fab.
#   Negated est parses as `expr ليس est 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
    # صواب
    print habetValorem
    const bool caretValorem ← absens not is none
    # خطأ
    print caretValorem
}

Expected output:

14
verum
falsum