∨

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