F(A,B)=((AV_B)->B)&(_AVB)

Конечно! Расскажи, о чем именно ты хочешь, чтобы я объяснил. Постараюсь сделать объяснение простым и понятным.