БА: Ассоциативный закон с инверсией

[Ultra Kawaii]

Здравствуйте! Помогите, пожалуйста, с булевой алгеброй.
Как вместе работают ассоциативный закон и инверсия? Можно ли сказать, что ~(A^B) ^ C ≡ ~(A ^ B ^ ~C) ? А что с дизъюнкцией?

@темы: Математическая логика

Comments

[VEk]

если значок ~ означает отрицание, то равенство

~(A^B) ^ C ≡ ~(A ^ B ^ ~C)

неверно. Справа в скобке должна быть одна дизъюнкция.