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


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

A∨B:
ABA∨B
000
011
101
111

(A∨B)∨(¬C):
ABCA∨B¬C(A∨B)∨(¬C)
000011
001000
010111
011101
100111
101101
110111
111101

((A∨B)∨(¬C))→A:
ABCA∨B¬C(A∨B)∨(¬C)((A∨B)∨(¬C))→A
0000110
0010001
0101110
0111010
1001111
1011011
1101111
1111011

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

ABC¬CA∨B(A∨B)∨(¬C)A∨B∨¬C→A
0001010
0010001
0101110
0110110
1001111
1010111
1101111
1110111


Наши друзья

Качественное решение задач курсовых работ, РГЗ по техническим предметам.
botaniks.ru

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

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

Рейтинг@Mail.ru

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