Calculators›Computer science›Logic

Computer science

Logic

Basic Boolean operations and implication.

Computer science

Boolean AND

A ∧ B→Computer science

Boolean OR

A ∨ B→Computer science

Boolean XOR

A ⊕ B→Computer science

Boolean NOT

¬A→Computer science

Boolean implication

A → B = ¬A ∨ B→Computer science

Boolean equivalence

A ↔ B→Computer science

Peirce arrow

A ↓ B = ¬(A ∨ B)→