Извиняюсь, моя ошибка. Правая часть другая a Δ c=( ¬(a(¬c)) ) Δ ( ¬((¬a)c) ) . Вместо В поставил С, а то смайлики появляются.