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


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

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

¬B:
B¬B
01
10

A∧(¬B):
AB¬BA∧(¬B)
0010
0100
1011
1100

¬((¬A)∨B):
AB¬A(¬A)∨B¬((¬A)∨B)
00110
01110
10001
11010

¬(A∧(¬B)):
AB¬BA∧(¬B)¬(A∧(¬B))
00101
01001
10110
11001

(¬((¬A)∨B))∧(¬(A∧(¬B))):
AB¬A(¬A)∨B¬((¬A)∨B)¬BA∧(¬B)¬(A∧(¬B))(¬((¬A)∨B))∧(¬(A∧(¬B)))
001101010
011100010
100011100
110100010

¬((¬((¬A)∨B))∧(¬(A∧(¬B)))):
AB¬A(¬A)∨B¬((¬A)∨B)¬BA∧(¬B)¬(A∧(¬B))(¬((¬A)∨B))∧(¬(A∧(¬B)))¬((¬((¬A)∨B))∧(¬(A∧(¬B))))
0011010101
0111000101
1000111001
1101000101

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

AB¬A(¬A)∨B¬BA∧(¬B)¬((¬A)∨B)¬(A∧(¬B))(¬((¬A)∨B))∧(¬(A∧(¬B)))¬(¬(¬A∨B)∧¬(A∧¬B))
0011100101
0111000101
1000111001
1101000101

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

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

Рейтинг@Mail.ru

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