Для функции (B→C)→(A→C∧B):


Промежуточные таблицы истинности:
B→C:
BCB→C
001
011
100
111

C∧B:
CBC∧B
000
010
100
111

A→(C∧B):
ACBC∧BA→(C∧B)
00001
00101
01001
01111
10000
10100
11000
11111

(B→C)→(A→(C∧B)):
BCAB→CC∧BA→(C∧B)(B→C)→(A→(C∧B))
0001011
0011000
0101011
0111000
1000011
1010001
1101111
1111111

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

BCAB→CC∧BA→(C∧B)(B→C)→(A→C∧B)
0001011
0011000
0101011
0111000
1000011
1010001
1101111
1111111


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

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

Рейтинг@Mail.ru

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