Функции f Bn→B называются булевыми от n аргументов. Бесплатный доступ к решению задач

Реферат.Справочник
Решенные задачи по высшей математике
Функции f Bn→B называются булевыми от n аргументов

Функции f Bn→B называются булевыми от n аргументов .pdf

Зарегистрируйся в 2 клика в Кампус и получи неограниченный доступ к материалам с подпиской Кампус+ 🔥

Условие

Функции f:Bn→B называются булевыми от n аргументов. Докажите теорему о представимости булевых функций: для всякой булевой функции f:Bn→B найдётся формула логики высказываний ϕ от n переменных p1,…,pn, что для всех интерпретаций M имеет место Mϕ=f(Mp1,…,M(pn))

Решение

Потяни, чтобы посмотреть

Пусть ϕ=fp1,….,pn , тогда Mϕ=Mfp1,….,pn =f(Mp1,…,Mpn).
Так как интерпретация – какое угодно отображение M:V→B, сопоставляющее каждой переменной p∈V истинностное значение M(p): Mϕ=M(p)

50% задачи недоступно для прочтения

Переходи в Кампус, регистрируйся и получай полное решение

Получить задачу