вторник, 5 февраля 2019 г.

Логическая функция "эквивалентность"

Для тех кто пропустил повторение в рамках темы "Алгебра логики", рекомендую просмотреть раздел на странице "Вооружаемся"

Для самостоятельного изучения публикую краткий материал про логическую функцию "Эквивалентность".

Логическое равенство (или эквивалентность, ~ , <=> ) образуется соединением двух высказываний в одно с помощью оборота речи "... тогда и только тогда, когда ...".
Составное высказывание, образованное с помощью эквивалентности истинно тогда и только тогда, когда оба высказывания одновременно либо ложны, либо истинны.
Таблица истинности для эквиваленции:

Задача 1: с помощью ТИ доказать ,что










Задача 2: Определить какому логическому выражению эквивалентно выражение 
(a <=> b)*(a <=> c) (знаки * и + соответствую логическому умножению и логическому сложению)











Порядок выполнения логических операций: действия в скобках, инверсия, конъюнкция, дизъюнкция, импликация, эквиваленция.

Комментариев нет:

Отправить комментарий