Для функции B∨(B→¬A):


Промежуточные таблицы истинности:
¬A:
A¬A
01
10

B→(¬A):
BA¬AB→(¬A)
0011
0101
1011
1100

B∨(B→(¬A)):
BA¬AB→(¬A)B∨(B→(¬A))
00111
01011
10111
11001

Общая таблица истинности:

BA¬AB→(¬A)B∨(B→¬A)
00111
01011
10111
11001


Наши друзья

Качественное решение задач курсовых работ, РГЗ по техническим предметам.
botaniks.ru

Околостуденческое

Это интересно...

Наши контакты

Рейтинг@Mail.ru

© 2009-2020, Список Литературы