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


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

(A∨B)∨C:
ABCA∨B(A∨B)∨C
00000
00101
01011
01111
10011
10111
11011
11111

B∧C:
BCB∧C
000
010
100
111

(B∧C)→A:
BCAB∧C(B∧C)→A
00001
00101
01001
01101
10001
10101
11010
11111

((A∨B)∨C)≡((B∧C)→A):
ABCA∨B(A∨B)∨CB∧C(B∧C)→A((A∨B)∨C)≡((B∧C)→A)
00000010
00101011
01011011
01111100
10011011
10111011
11011011
11111111

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

ABCA∨B(A∨B)∨CB∧C(B∧C)→A(A∨B∨C)≡B∧C→A
00000010
00101011
01011011
01111100
10011011
10111011
11011011
11111111


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

Рейтинг@Mail.ru

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