और

Combines boolean expressions with logical and.

Aliases: and

Syntax: <expression> और <expression>

Category#

logic

Related#

• या
• नहीं

Examples#

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

Combines boolean expressions with logical and.

test "and requires both operands" {
    assert (true and true) ≡ true
    assert (false and true) ≡ false
    assert (true and false) ≡ false
    assert (false and false) ≡ false
}

test "and mirrors the incipit smoke" {
    const bool paratus ← true
    const bool licet ← true
    const bool currit ← paratus and licet
    assert currit ≡ true
}
# =============================================================================
# et — Combines boolean expressions with logical and.
# =============================================================================
#
# What this teaches:
#   • Logical AND — `<तार्किक> et <तार्किक>` combines two boolean operands with short-circuit evaluation.
#   • Short-circuit behavior — if the left operand is असत्य, the right operand is not evaluated.
#
# Common mistakes:
#   • Confusing `et` with `या` — `et` requires both operands to be तार्किक (truthy); `या` requires at least one operand to be truthy.
#
# See also: या, नहीं
# =============================================================================


# et — logical AND on bivalent operands (short-circuit)
#
# <तार्किक> et <तार्किक>
#
# GRAMMAR:
#   binaryExpr :← expr 'et' expr
#
# EXPECTED OUTPUT:
#   none

main {
    # left operand: सत्य
    const bool paratus ← true
    # right operand: सत्य
    const bool licet ← true
    # सत्य et सत्य → सत्य
    const bool currit ← paratus and licet
    print currit
}

Expected output:

verum