Таблица истинности для функции (¬A→B)∨¬A∧B∨A:


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

(¬A)→B:
AB¬A(¬A)→B
0010
0111
1001
1101

(¬A)∧B:
AB¬A(¬A)∧B
0010
0111
1000
1100

((¬A)→B)∨((¬A)∧B):
AB¬A(¬A)→B¬A(¬A)∧B((¬A)→B)∨((¬A)∧B)
0010100
0111111
1001001
1101001

(((¬A)→B)∨((¬A)∧B))∨A:
AB¬A(¬A)→B¬A(¬A)∧B((¬A)→B)∨((¬A)∧B)(((¬A)→B)∨((¬A)∧B))∨A
00101000
01111111
10010011
11010011

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

AB¬A(¬A)→B(¬A)∧B((¬A)→B)∨((¬A)∧B)(¬A→B)∨¬A∧B∨A
0010000
0111111
1001011
1101011

Логическая схема:

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

Рейтинг@Mail.ru

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