Базис ЭВМ - логические элементы, из которых состоят любые триггеры, КЛУ, ПЛУ и пр...
На текущий момент (2010 г.) существуют 3 основных и 2 побочных типа элементов.

Основные:
- Конъюктор (&, логическое умножение, И)
- Дезъюнктор (v, логическое сложение, ИЛИ)
- Инвертор (¬, логическое отрицание, НЕ)
Побочные:
- Эквивалентор (<=>, логическое сравнение, не имеет)
- Импликатор (=>, кодировщик, не имеет)

Система описания ([Условное символьное обозначение], [применение, назначение], [тип операции, озвучка ])

Таблицы истинности (ТИ):

Условные графические обозначения (УГО):

Внимание: это УГО стран Варшавского договора (прям, как планки для оптических примочек на стволы  ), в странах с дюймами, локтями и письками применяются выпендрёжные разрисованно-размалёванные и посложнее в нарисовании/прочтении. Если интересно - в Википедию, либо поисковиком. Мне пока лень их рисовать, т.к. система представленная в разы удобнее (+ у неё есть возможность "склеивать" блоки, что уменьшает размер схемы без потери читабельности, в отличае от разрисовок, которые нереально дохрена места занимают и не имеют возможности быть нарисованными в "склейке", или просто поплотнее - сразу схема становится нечитаемой).