참과 거짓: Boolean의 수학

명제 (Proposition): 참(T) 또는 거짓(F)으로 판단 가능한 문장
  · "1 + 1 = 2" → T
  · "오늘은 비가 온다" → 상황에 따라 T/F
  · "이 문장은 거짓이다" → 명제 아님 (역설)

논리 연산자
  · AND ∧ (그리고)
  · OR  ∨ (또는)
  · NOT ¬ (아니다)
  · XOR ⊕ (배타적 또는)
  · IMPLIES → (만약 ~이면)

A | B | A∧B | A∨B | A⊕B | ¬A
T | T |  T  |  T  |  F  |  F
T | F |  F  |  T  |  T  |  F
F | T |  F  |  T  |  T  |  T
F | F |  F  |  F  |  F  |  T

# Python
A = True
B = False

print(A and B)     # False (∧)
print(A or B)      # True  (∨)
print(not A)       # False (¬)
print(A ^ B)       # True  (XOR — 비트 연산자가 boolean에도 작동)


# JavaScript (가독성)
"""
A && B   // ∧
A || B   // ∨
!A       // ¬
A !== B  // XOR (boolean에 한해)
"""

# AND 단축: 첫 항이 False면 두 번째 항 평가 안 함
# 수학: F ∧ X = F (X와 무관)

def expensive_check():
    print("called!")
    return True

# False AND ... → 두 번째 함수 호출 안 됨
result = False and expensive_check()
print(result)  # False
# (expensive_check 호출 안 됨 — "called!" 미출력)


# OR 단축: 첫 항이 True면 두 번째 항 평가 안 함
# 수학: T ∨ X = T (X와 무관)

result = True or expensive_check()
# (expensive_check 호출 안 됨)


# 실전 활용 — null 체크
user = None
name = user and user.name  # None (user가 falsy면 user.name 평가 안 함)
# user.name 직접 호출했다면 AttributeError

// 단축 평가 활용
const user = null;
const name = user?.name ?? '익명';  // 옵셔널 체이닝 + nullish 병합

// 기본값 패턴
const port = process.env.PORT || 3000;  // PORT가 falsy면 3000

// 조건부 실행
isDev && console.log('debug info');  // isDev가 true일 때만 실행

// 조건부 반환
function getMessage(user) {
  return user && user.isAdmin && '관리자 메뉴 표시';
}

# Python에서 Boolean 컨텍스트의 falsy 값
print(bool(False))      # False
print(bool(0))          # False
print(bool(0.0))        # False
print(bool(""))         # False
print(bool([]))         # False
print(bool({}))         # False
print(bool(None))       # False
print(bool(set()))      # False

# 그 외는 모두 True
print(bool(1))          # True
print(bool("0"))        # True (문자열 "0"은 True!)
print(bool([0]))        # True (요소 있는 리스트)
print(bool([False]))    # True

// JavaScript falsy 값 (정확히 6가지)
// false, 0, '', null, undefined, NaN

console.log(!!0);        // false
console.log(!!"");       // false
console.log(!!null);     // false
console.log(!!undefined);// false
console.log(!!NaN);      // false

// 그 외는 모두 truthy
console.log(!!"0");      // true (문자열 "0")
console.log(!![]);       // true (빈 배열)
console.log(!!{});       // true (빈 객체)