|
Назад !( (A v B) -> !( B v C)) = !( !(A v B) v !( B v C)) = !( !(A v B)) & !( !( B v C)) = (A v B) & (B v C) = { дистрибутивность операции ИЛИ } (A v B) & B v ( A v B) & C = A & B v B v A & C v B & C = B & (A v T) v C & (A & B) = B v A & C v B & C = B & (T v C) v A & C = B v A & C. Назад |