-(-A⇔B)⇒(B∨A) помогите пожалуйста решить пример булевой алгебры, впереди стоит отрицание перед скобкой и отрицание над переменной А, нужно УПРОСТИТЬ.
Приложения:
![](https://st.uroker.com/files/1b7/1b71ef6ed3173da77541102def269c6a.jpg)
![](https://st.uroker.com/files/fdd/fddd03f0bc446f1d9dc5f01d93304195.jpg)
Ответы
Ответ дал:
1
В первой скобке, как я поняла, эквиваленция.
Сначала расписываем следование на дизъюнкцию и конъюнкцию (X -> Y) == (not X v Y)
То есть, not(not[not A <-> B] v (B v A) == (not A <-> B) v A v B
Далее - эквиваленция. (X <-> Y) == (not X v Y)(not Y v X).
То есть, (A v B)(not A v not B) v A v B == A * not B v B * not A v A v B == A v (A * not B) v B v (B * not A) по формулам поглощения получаем == A v B.
Вас заинтересует
11 месяцев назад
11 месяцев назад
1 год назад
1 год назад
7 лет назад