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


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

¬C:
C¬C
01
10

¬A:
A¬A
01
10

¬B:
B¬B
01
10

(¬A)↓(¬C):
AC¬A¬C(¬A)↓(¬C)
00110
01100
10010
11001

((¬A)↓(¬C))|(¬B):
ACB¬A¬C(¬A)↓(¬C)¬B((¬A)↓(¬C))|(¬B)
00011011
00111001
01010011
01110001
10001011
10101001
11000110
11100101

(¬C)∨(((¬A)↓(¬C))|(¬B)):
CAB¬C¬A¬C(¬A)↓(¬C)¬B((¬A)↓(¬C))|(¬B)(¬C)∨(((¬A)↓(¬C))|(¬B))
0001110111
0011110011
0101010111
0111010011
1000100111
1010100011
1100001100
1110001011

((¬C)∨(((¬A)↓(¬C))|(¬B)))⊕(¬C):
CAB¬C¬A¬C(¬A)↓(¬C)¬B((¬A)↓(¬C))|(¬B)(¬C)∨(((¬A)↓(¬C))|(¬B))¬C((¬C)∨(((¬A)↓(¬C))|(¬B)))⊕(¬C)
000111011110
001111001110
010101011110
011101001110
100010011101
101010001101
110000110000
111000101101

(((¬C)∨(((¬A)↓(¬C))|(¬B)))⊕(¬C))→A:
CAB¬C¬A¬C(¬A)↓(¬C)¬B((¬A)↓(¬C))|(¬B)(¬C)∨(((¬A)↓(¬C))|(¬B))¬C((¬C)∨(((¬A)↓(¬C))|(¬B)))⊕(¬C)(((¬C)∨(((¬A)↓(¬C))|(¬B)))⊕(¬C))→A
0001110111101
0011110011101
0101010111101
0111010011101
1000100111010
1010100011010
1100001100001
1110001011011

(A∧B)≡((((¬C)∨(((¬A)↓(¬C))|(¬B)))⊕(¬C))→A):
ABCA∧B¬C¬A¬C(¬A)↓(¬C)¬B((¬A)↓(¬C))|(¬B)(¬C)∨(((¬A)↓(¬C))|(¬B))¬C((¬C)∨(((¬A)↓(¬C))|(¬B)))⊕(¬C)(((¬C)∨(((¬A)↓(¬C))|(¬B)))⊕(¬C))→A(A∧B)≡((((¬C)∨(((¬A)↓(¬C))|(¬B)))⊕(¬C))→A)
000011101111010
001001001110101
010011100111010
011001000110101
100010101111010
101000011000010
110110100111011
111100010110111

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

ABCA∧B¬C¬A¬B(¬A)↓(¬C)((¬A)↓(¬C))|(¬B)(¬C)∨(((¬A)↓(¬C))|(¬B))((¬C)∨(((¬A)↓(¬C))|(¬B)))⊕(¬C)(((¬C)∨(((¬A)↓(¬C))|(¬B)))⊕(¬C))→A(A∧B)≡(¬C∨¬A↓¬C|¬B)⊕¬C→A
0000111011010
0010011011101
0100110011010
0110010011101
1000101011010
1010001100010
1101100011011
1111000111111

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

Совершенная дизъюнктивная нормальная форма (СДНФ):

По таблице истинности:
ABCF
0000
0011
0100
0111
1000
1010
1101
1111
Fсднф = ¬A∧¬B∧C ∨ ¬A∧B∧C ∨ A∧B∧¬C ∨ A∧B∧C
Логическая cхема:

Совершенная конъюнктивная нормальная форма (СКНФ):

По таблице истинности:
ABCF
0000
0011
0100
0111
1000
1010
1101
1111
Fскнф = (A∨B∨C) ∧ (A∨¬B∨C) ∧ (¬A∨B∨C) ∧ (¬A∨B∨¬C)
Логическая cхема:

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

Рейтинг@Mail.ru

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