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


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

B∧(¬C):
BC¬CB∧(¬C)
0010
0100
1011
1100

A∨(B∧(¬C)):
ABC¬CB∧(¬C)A∨(B∧(¬C))
000100
001000
010111
011000
100101
101001
110111
111001

¬(A∨(B∧(¬C))):
ABC¬CB∧(¬C)A∨(B∧(¬C))¬(A∨(B∧(¬C)))
0001001
0010001
0101110
0110001
1001010
1010010
1101110
1110010

(¬(A∨(B∧(¬C))))∧C:
ABC¬CB∧(¬C)A∨(B∧(¬C))¬(A∨(B∧(¬C)))(¬(A∨(B∧(¬C))))∧C
00010010
00100011
01011100
01100011
10010100
10100100
11011100
11100100

A∨(¬C):
AC¬CA∨(¬C)
0011
0100
1011
1101

((¬(A∨(B∧(¬C))))∧C)→(A∨(¬C)):
ABC¬CB∧(¬C)A∨(B∧(¬C))¬(A∨(B∧(¬C)))(¬(A∨(B∧(¬C))))∧C¬CA∨(¬C)((¬(A∨(B∧(¬C))))∧C)→(A∨(¬C))
00010010111
00100011000
01011100111
01100011000
10010100111
10100100011
11011100111
11100100011

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

ABC¬CB∧(¬C)A∨(B∧(¬C))¬(A∨(B∧(¬C)))(¬(A∨(B∧(¬C))))∧CA∨(¬C)¬(A∨B∧¬C)∧C→A∨¬C
0001001011
0010001100
0101110011
0110001100
1001010011
1010010011
1101110011
1110010011


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

Рейтинг@Mail.ru

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