A ↓ B; B ↓ C; inference ~ C ∧ ~ A TRUE
flag ukraine TRUE
~ p ∨ q ; r ∨ ~ q ; p ; s ∴ r ∨ s TRUE
] TRUE
Logical NOR (Peirce's arrow) A ↓ B
NOT AND (Sheffer stroke) A | B
Equivalence A ↔ B
Implication A → B
Exclusive OR (XOR) (A ⊻ B)
NOT ( ~ A)
GGGGGG8888888867647456745 FALSE
Disjunction
Conjunction A ∧ B
Disjunction A ∨ B
why TRUE
Pi больше 3 и Pi меньше 4 TRUE
Парадокс лжеца: я лжец и я лгу FALSE
test clone FALSE
test FALSE