Назад

!( (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.

Назад
Хостинг от uCoz