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


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

(¬A)∨B:
AB¬A(¬A)∨B
0011
0111
1000
1101

¬B:
B¬B
01
10

(¬B)∧C:
BC¬B(¬B)∧C
0010
0111
1000
1100

((¬B)∧C)→((¬A)∨B):
BCA¬B(¬B)∧C¬A(¬A)∨B((¬B)∧C)→((¬A)∨B)
00010111
00110001
01011111
01111000
10000111
10100011
11000111
11100011

A≡(((¬B)∧C)→((¬A)∨B)):
ABC¬B(¬B)∧C¬A(¬A)∨B((¬B)∧C)→((¬A)∨B)A≡(((¬B)∧C)→((¬A)∨B))
000101110
001111110
010001110
011001110
100100011
101110000
110000111
111000111

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

ABC¬A(¬A)∨B¬B(¬B)∧C((¬B)∧C)→((¬A)∨B)A≡¬B∧C→(¬A∨B)
000111010
001111110
010110010
011110010
100001011
101001100
110010011
111010011

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

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

Рейтинг@Mail.ru

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