Рассмотрим, как применяется алгебра высказываний при конструировании устройств.
Чтобы конструировать устройство, мы должны знать:
· Каким образом следует реализовать логические значения 0 и 1 в виде электрических сигналов на входе и выходе устройства;
· Каким образом описать работу этого устройства:
· Существует ли алгоритм, позволяющий по известной таблице истинности построить схему устройства;
· Из каких элементов должно состоять устройство.
Постановка подобных вопросов и поиск ответов на них привели к построению простейших преобразователей информации, составляющих основу любой вычислительной машины.
Цифровой сигнал - это сигнал, который может принимать только одно из двух установленных значений.
Физическая природа сигнала может быть самой различной. Сигналами могут считаться, например, появление на выходе преобразователя напряжения или давления воздуха определенной величины, включение лампы или звонка, нажатие кнопки, срабатывание электромагнитного реле и другие изменения в электрической цепи. При этом обязательно надо, чтобы имелось два существенно различных состояния некоторой физической величины, моделирующие истинность и ложность логических высказываний.
Логическим элементом называется преобразователь, который, получая сигналы об истинности отдельных высказываний, обрабатывает их и в результате выдает значение логического отрицания, логической суммы или логического произведения этих высказываний.