Пример 18.2

Определение 18.3.

Формульное задание функций алгебры логики

Формулы будем обозначать заглавными буквами: ____________, имея в виду функции, ___________________________ формулы, или _____________, имея в виду переменные, ___________________в формулу.

___ – формулы, участвовавшие в построении _____________________, называются ___________________________.

Две формулы __ и __ называются ____________ или ______________________________, если функции, реализуемые ими________

Упрощение записи формул

1) внешние скобки можно _____________________;

2) приоритет применения связок возрастает в следующем порядке:

_______________________________

3) связка – ______ одной переменной __________________________;

4) если связка – стоит ___________________, то сначала выполняется ________________, затем _______________________;

5) _______________, то операции __ и __ выполняются __________________ очередь.

Доказать эквивалентность формул:

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