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


Промежуточные таблицы истинности:
A∨B:
ABA∨B
000
011
101
111

(A∨B)→A:
ABA∨B(A∨B)→A
0001
0110
1011
1111

¬B:
B¬B
01
10

((A∨B)→A)∧(¬B):
ABA∨B(A∨B)→A¬B((A∨B)→A)∧(¬B)
000111
011000
101111
111100

F≡(((A∨B)→A)∧(¬B)):
FABA∨B(A∨B)→A¬B((A∨B)→A)∧(¬B)F≡(((A∨B)→A)∧(¬B))
00001110
00110001
01011110
01111001
10001111
10110000
11011111
11111000

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

FABA∨B(A∨B)→A¬B((A∨B)→A)∧(¬B)F≡(A∨B→A)∧¬B
00001110
00110001
01011110
01111001
10001111
10110000
11011111
11111000


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

Рейтинг@Mail.ru

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