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


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

(A∧B)→A:
ABA∧B(A∧B)→A
0001
0101
1001
1111

¬B:
B¬B
01
10

((A∧B)→A)∧(¬B):
ABA∧B(A∧B)→A¬B((A∧B)→A)∧(¬B)
000111
010100
100111
111100

F≡(((A∧B)→A)∧(¬B)):
FABA∧B(A∧B)→A¬B((A∧B)→A)∧(¬B)F≡(((A∧B)→A)∧(¬B))
00001110
00101001
01001110
01111001
10001111
10101000
11001111
11111000

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

FABA∧B(A∧B)→A¬B((A∧B)→A)∧(¬B)F≡(A∧B→A)∧¬B
00001110
00101001
01001110
01111001
10001111
10101000
11001111
11111000


Наши друзья

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

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

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

Рейтинг@Mail.ru

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