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


Промежуточные таблицы истинности:
A∧B:
ABA∧B
000
010
100
111

A∨B:
ABA∨B
000
011
101
111

C→(A∨B):
CABA∨BC→(A∨B)
00001
00111
01011
01111
10000
10111
11011
11111

¬(A∧B):
ABA∧B¬(A∧B)
0001
0101
1001
1110

(¬(A∧B))∨(C→(A∨B)):
ABCA∧B¬(A∧B)A∨BC→(A∨B)(¬(A∧B))∨(C→(A∨B))
00001011
00101001
01001111
01101111
10001111
10101111
11010111
11110111

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

ABCA∧BA∨BC→(A∨B)¬(A∧B)¬(A∧B)∨(C→(A∨B))
00000111
00100011
01001111
01101111
10001111
10101111
11011101
11111101

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

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

Рейтинг@Mail.ru

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