¬(AvB)=¬A^¬B - Закон да Моргана
=¬A^¬B^¬A⇒A^B^¬BvA^B^A=(B^¬B=0(закон исключения третьего), A^A=A(повторение), ¬A^¬A=¬A(повторение))=¬A^¬B⇒0vA^B =(A⇒B=¬AvB(импликация), Av0=A(операция с константой))=¬(¬Av¬B)vA^B=(¬(¬Av¬B)=A^B(Закон де Моргана))=A^BvA^B=(AvA=A(повторение))=A^B
Объяснение:
