упростить F=(A→B)^(B→ неA)^(C→A)
F=(A→B)^(B→ неA)^(C→A) =
= (!AVB)^(!BV!A)^(!CVA)=
= !A^(BV!B) ^ (!CVA) =
= !A^(!CVA) = (!A^!C) V (!A^A) = !AV!C
! — отрицание
Буду благодарна, если отметите