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


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

B∨(¬A):
BA¬AB∨(¬A)
0011
0100
1011
1101

A∧B:
ABA∧B
000
010
100
111

(B∨(¬A))→(A∧B):
BA¬AB∨(¬A)A∧B(B∨(¬A))→(A∧B)
001100
010001
101100
110111

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

BA¬AB∨(¬A)A∧B(B∨¬A)→(A∧B)
001100
010001
101100
110111


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

Рейтинг@Mail.ru

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