Для тех кто пропустил повторение в рамках темы "Алгебра логики", рекомендую просмотреть раздел на странице "Вооружаемся"
Для самостоятельного изучения публикую краткий материал про логическую функцию "Эквивалентность".
Логическое равенство (или эквивалентность, ~ , <=> ) образуется соединением двух высказываний в одно с помощью оборота речи "... тогда и только тогда, когда ...".
Составное высказывание, образованное с помощью эквивалентности истинно тогда и только тогда, когда оба высказывания одновременно либо ложны, либо истинны.
Задача 1: с помощью ТИ доказать ,что
Задача 2: Определить какому логическому выражению эквивалентно выражение
(a <=> b)*(a <=> c) (знаки * и + соответствую логическому умножению и логическому сложению)
Порядок выполнения логических операций: действия в скобках, инверсия, конъюнкция, дизъюнкция, импликация, эквиваленция.
Комментариев нет:
Отправить комментарий