Логика. Буравлева О.Ю. - 11 стр.

UptoLike

ВУЗ: 

ТГТУ | Тамбов

Составители: 

Рубрика: 

а) Можно ли определить, кто такой А?
б) Можно ли определить, есть ли на острове сокровища?
3.2 ПРИМЕНЕНИЕ АППАРАТА АЛГЕБРЫ ЛОГИКИ
ДЛЯ РЕШЕНИЯ СОДЕРЖАТЕЛЬНЫХ ЗАДАЧ
1 Основные равносильности алгебры логики.
2 Формализация сложных высказываний. Решение простейших задач.
1 ПРОВЕРЬТЕ СЛЕДУЮЩИЕ РАВНОСИЛЬНОСТИ, ИСПОЛЬЗУЯ ОСНОВНЫЕ РАВ-
НОСИЛЬНОСТИ АЛГЕБРЫ ЛОГИКИ:
а) BACCABA ∨=∨∨ ; б) BACABBACAABABAA ∨=∨∨∨∨∨ ))(( ;
в) CBCAABCCBACBA =∨∨∨ ; г) CBCACABCBACBACBA ∨=∨∨∨∨ .
2 ПРОВЕРЬТЕ СЛЕДУЮЩИЕ РАВНОСИЛЬНОСТИ, ИСПОЛЬЗУЯ ОСНОВНЫЕ РАВ-
НОСИЛЬНОСТИ АЛГЕБРЫ ЛОГИКИ (ПРЕДВАРИТЕЛЬНО УПРОСТИВ ВЫРАЖЕНИЯ, ЗА-
КЛЮЧЕННЫЕ В СКОБКИ):
а) ACBBCAACCCCBCABAB ∨=∨∨∨∨∨ ))(( ;
б) BAABDCDBCDADCCABDCCCA ∨∨∨=∨∨∨∨∨∨ ))(( ;
в) AACCABCABCABC =∨∨∨∨ ))(( ;
Г) BDABDDAADBADBADABD ∨=∨∨∨∨∨ ))(( .
3 ПРОВЕРЬТЕ СЛЕДУЮЩИЕ РАВНОСИЛЬНОСТИ ДВУМЯ СПОСОБАМИ:
а) BCACABCACB ∨=∨∨∨∨ ;
б) ABCABCABA =∨∨∨∨ )()( ;
в) BCCABACACBA ∨=∨∨∨∨∨ ;
г)
BCABCABBBAC ∨=∨∨∨∨ )(
.
1 Перевод некоторых (наиболее часто встречающихся) выражений естественного языка на символиче-
ский язык алгебры логики
Форма высказывания естественного языка
Соответст-
вующая фор-
мула языка
алгебры логи-
ки
Не А; неверно, что А; А не имеет места
A
A и В; как А, так и В; не только А, но и В; А
вместе с В; А, несмотря на В; А, в то время
как В
А
В
Продолжение табл. 1
Форма высказывания естественного языка
Соответст-
вующая фор-
мула языка
алгебры логи-
ки
А, но не В; не В, а А
В
А
А или В; А, или В, или оба
В
А
∨
А либо В; А, разве что В; либо А, либо В; не
А, разве что не В; либо не А, либо не В; А или
В, но не оба
В
А
В
А
∨

Страницы