Деректер қоры - бір-бірімен белгілі бір тәртіппен құрылымдық тұрғыдан байланысқан, машинамен оқылатын, нақты қолданбалы сала үшін көкейтесті, ақпараттық технология үшін жарамды нысандағы нақты дүние объектілері сипаттамаларының, сондай-ақ ЭЕМ-нің жадындағы немесе машинамен оқылатын сақтағыштағы (магаитті ленталардағы, дискеттердегі, ықшам дискілердегі) ақпарат жазбаларының жиынтығы. Деректер қоры қоғамның барлық ақпараттық қорларымен тығыз байланысты, солардың негізінде жасалады, ал олардың көбісі ақпараттың тек құжаттық көздерімен бірге пайдаланады.
У нас есть логическое выражение 
.
Электронная схема состоит из логических вентилей -- базовых блоков, выполняющих элементарную логическую операцию (коньюнкция, инверсия, дизъюнкция итд), входных и выходных сигналов.
По ГОСТу вентили изображаются как прямоугольники с надписью, обозначающую операцию вентиля.
& -- коньюнкция,
1 -- дизьюнкция,
а кружок на сигнале, обозначает его инверсию.
Назовём выходной сигнал F (так как его надо как-то назвать). Смотрите рисунок. Немного кривой, т.к. рисовал в простом графическом редакторе, а не в специализированном ПО.
Таблица истинности -- таблица, задающая значение логической формулы для всех комбинаций переменных.
Напишем её:
