If a then
Твой код
Else a & b
... Код
Понял так, а что нужно было сделать?
Применим распределительный закон для конъюнкции:
А+Ā•B=(A+Ā)•(A+B)=(1)•(A+B)=A+B
