Студопедия

КАТЕГОРИИ:

АстрономияБиологияГеографияДругие языкиДругоеИнформатикаИсторияКультураЛитератураЛогикаМатематикаМедицинаМеханикаОбразованиеОхрана трудаПедагогикаПолитикаПравоПсихологияРиторикаСоциологияСпортСтроительствоТехнологияФизикаФилософияФинансыХимияЧерчениеЭкологияЭкономикаЭлектроника


СХЕМ АВТОМАТОВ




Теория автоматов основана на использовании математического аппарата алгебры логики, т.е. алгебры двух чисел, в которой каждый аргумент или функция имеют одно из двух значений: 0 или 1.

Различные комбинации значений входных переменных называются наборами. Функция является полностью заданной, если указаны ее значения для всех наборов. Количество наборов определяется формулой:

 

, (3.1)

 

где k – количество входных переменных (при k = 2 N = 4).

Придавая каждому набору значение функции, равное 0 или 1, можно получить табличное задание той или иной функции. Таблица, с помощью которой задается функция, называется таблицей истинности, или таблицей соответствия. Так как каждому набору может соответствовать одно из двух значений (0 или 1) функции, то число различных логических функций для k переменных конечно и равно:

 

m = 2 . (3.2)

 

ЗначенияN иm для различных kприведены в таблице 3.1.

 

Таблица 3.1

k
N
m 65 536

 

Нетрудно заметить, что прямое изучение логических функций с помощью таблиц истинности практически возможно лишь до k = 3.

Для определения логических функций от большего числа переменных используется принцип суперпозиции. Поэтому в алгебре логики основную роль играют функции одной или двух переменных.

 


Поделиться:

Дата добавления: 2015-07-26; просмотров: 96; Мы поможем в написании вашей работы!; Нарушение авторских прав





lektsii.com - Лекции.Ком - 2014-2024 год. (0.006 сек.) Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав
Главная страница Случайная страница Контакты