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


Промежуточные таблицы истинности:
A∨B:
ABA∨B
000
011
101
111

(A∨B)∨A:
ABA∨B(A∨B)∨A
0000
0111
1011
1111

¬B:
B¬B
01
10

(¬B)≡((A∨B)∨A):
BA¬BA∨B(A∨B)∨A(¬B)≡((A∨B)∨A)
001000
011111
100110
110110

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

BAA∨B(A∨B)∨A¬B¬B≡((A∨B)∨A)
000010
011111
101100
111100


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

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

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

Рейтинг@Mail.ru

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