The same logic is written in different ways in different books and fields. This course uses:
- AND: letters side by side,
AB, or a dot,A·B. - OR: a plus sign,
A + B. - NOT: a bar over what it covers. Since you can't type a bar, answer boxes use a prime after the letter:
A'. A long bar over a group is typed with brackets: is(AB)'. - XOR:
A ⊕ B. - True and false: 1 and 0.
Other notations you may meet:
- Discrete maths: A ∧ B, A ∨ B, ¬A, with T and F.
- Programming:
a && b,a || b,!a(orand,or,not). - Some books: A̅ or ~A for NOT.
The length of a bar matters. (two short bars) and (one long bar) are different functions. A bar works like brackets: everything under it is evaluated first, then flipped. See operator precedence and complement.