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


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

A→(¬B):
AB¬BA→(¬B)
0011
0101
1011
1100

¬A:
A¬A
01
10

¬C:
C¬C
01
10

(A→(¬B))∨(¬A):
AB¬BA→(¬B)¬A(A→(¬B))∨(¬A)
001111
010111
101101
110000

((A→(¬B))∨(¬A))∨(¬C):
ABC¬BA→(¬B)¬A(A→(¬B))∨(¬A)¬C((A→(¬B))∨(¬A))∨(¬C)
000111111
001111101
010011111
011011101
100110111
101110101
110000011
111000000

(¬A)→C:
AC¬A(¬A)→C
0010
0111
1001
1101

(((A→(¬B))∨(¬A))∨(¬C))∧A:
ABC¬BA→(¬B)¬A(A→(¬B))∨(¬A)¬C((A→(¬B))∨(¬A))∨(¬C)(((A→(¬B))∨(¬A))∨(¬C))∧A
0001111110
0011111010
0100111110
0110111010
1001101111
1011101011
1100000111
1110000000

((((A→(¬B))∨(¬A))∨(¬C))∧A)∧B:
ABC¬BA→(¬B)¬A(A→(¬B))∨(¬A)¬C((A→(¬B))∨(¬A))∨(¬C)(((A→(¬B))∨(¬A))∨(¬C))∧A((((A→(¬B))∨(¬A))∨(¬C))∧A)∧B
00011111100
00111110100
01001111100
01101110100
10011011110
10111010110
11000001111
11100000000

(((((A→(¬B))∨(¬A))∨(¬C))∧A)∧B)∧((¬A)→C):
ABC¬BA→(¬B)¬A(A→(¬B))∨(¬A)¬C((A→(¬B))∨(¬A))∨(¬C)(((A→(¬B))∨(¬A))∨(¬C))∧A((((A→(¬B))∨(¬A))∨(¬C))∧A)∧B¬A(¬A)→C(((((A→(¬B))∨(¬A))∨(¬C))∧A)∧B)∧((¬A)→C)
00011111100100
00111110100110
01001111100100
01101110100110
10011011110010
10111010110010
11000001111011
11100000000010

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

ABC¬BA→(¬B)¬A¬C(A→(¬B))∨(¬A)((A→(¬B))∨(¬A))∨(¬C)(¬A)→C(((A→(¬B))∨(¬A))∨(¬C))∧A((((A→(¬B))∨(¬A))∨(¬C))∧A)∧B((A→¬B)∨¬A∨¬C)∧A∧B∧(¬A→C)
0001111110000
0011110111000
0100111110000
0110110111000
1001101111100
1011100111100
1100001011111
1110000001000

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

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

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

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

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

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

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

Рейтинг@Mail.ru

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