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


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

¬C:
C¬C
01
10

¬A:
A¬A
01
10

B∧(¬C):
BC¬CB∧(¬C)
0010
0100
1011
1100

(B∧(¬C))∧(¬A):
BCA¬CB∧(¬C)¬A(B∧(¬C))∧(¬A)
0001010
0011000
0100010
0110000
1001111
1011100
1100010
1110000

(¬A)∧(B∨A):
AB¬AB∨A(¬A)∧(B∨A)
00100
01111
10010
11010

B∨C:
BCB∨C
000
011
101
111

((B∧(¬C))∧(¬A))→(B∨C):
BCA¬CB∧(¬C)¬A(B∧(¬C))∧(¬A)B∨C((B∧(¬C))∧(¬A))→(B∨C)
000101001
001100001
010001011
011000011
100111111
101110011
110001011
111000011

(((B∧(¬C))∧(¬A))→(B∨C))→((¬A)∧(B∨A)):
BCA¬CB∧(¬C)¬A(B∧(¬C))∧(¬A)B∨C((B∧(¬C))∧(¬A))→(B∨C)¬AB∨A(¬A)∧(B∨A)(((B∧(¬C))∧(¬A))→(B∨C))→((¬A)∧(B∨A))
0001010011000
0011000010100
0100010111000
0110000110100
1001111111111
1011100110100
1100010111111
1110000110100

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

BCAB∨A¬C¬AB∧(¬C)(B∧(¬C))∧(¬A)(¬A)∧(B∨A)B∨C((B∧(¬C))∧(¬A))→(B∨C)B∧¬C∧¬A→B∨C→¬A∧(B∨A)
000011000010
001110000010
010001000110
011100000110
100111111111
101110100110
110101001111
111100000110

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

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

Рейтинг@Mail.ru

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