Нет, как вы пишите, так не работает.
___
A B A^B A^B
0 0 0 1
0 1 0 1
1 0 0 1
1 1 1 0
_ _
A B A^B
0 0 1^1=1
0 1 1^0=0
1 0 0^1=0
1 1 0^0=0
Работае как отрицание A или отрицание B.
_ _
A B AvB
0 0 1v1=1
0 1 1v0=1
1 0 0v1=1
1 1 0v0=0
___ _ _
То есть, A^B=AvB
Отрицание конъюнкции работает как дизъюнкция отрицаний.
Matematika ruМыслитель (6469)
1 неделю назад
Предудущий комментарий не смотрите, там сдвинулся текст.
___
Первая таблица - отрицание конъюнкции, т.е. A^B
_ _
Вторая таблица - конъюнкция отрицаний, т.е. A^B - отрицание
A И отрицание B. Как можно видеть последний столбец этих
двух таблиц не совпадает, значит так не работает.
_ _
Третья таблица - дизъюнкция отрицаний, т.е. АvB - отрицание
A ИЛИ отрицание B. Последний столбец таблицы совпадает с
последним столбцом первой таблицы, значит так работает.
Таким образом, отрицание конъюнкции работает как дизъюнкция
отрицаний.