Определение 18.1

Элементарные функции алгебры логики

Функции алгебры логики

Лекция 18

В алгебре высказываний использован формализм, который оказался особо подходящим для строгого описания многих разделов компьютерной математики – булева алгебра. Название связано с именем английского математика Джорджа Буля (1815 – 1864). Булева алгебра содержит в себе основные положения элементарной логики.

Обозначения: _____________________________ ________________________

_________________________________________________________________.

Функцией алгебры логики называется _________________________________ _______________, причем отображение всюду определено и функционально.

Так как множество __ конечно, то задать отображение _____________ означает задать множество наборов из __ и для каждого набора указать его образ в __.

Пример 18.1.

Пусть n =2, тогда ____________________________

Отображение ____________ задано, например, так:

Тем самым задана функция, для которой мы будем использовать стандартное обозначение ___________, записывая эту функцию в виде таблицы:

Здесь x 1 и x 2 обозначают названия столбцов, а __– символ, обозначающий отображение. Следует обратить внимание, что функции ____ и ______ ______________________________________, и их таблицы отличаются _______________________________________

Дата добавления: 2014-01-07