Я вообще программист, но и с электроникой знаком. Такое написание честно говоря вижу впервые, отнеситесь к моему ответу скептически, перепроверьте! Попробую ответить. Не спорю может в математике это и типичное написание, но я не сталкивался, за ненадобностью.
Ответ: нет не верно. В конце ветвление неверно пошло.
Вот формула на вашем языке:
![$(AorC)and[(\neg BandC)or(\neg Cand(AorB))or(\neg Aand(AorB))]$ $(AorC)and[(\neg BandC)or(\neg Cand(AorB))or(\neg Aand(AorB))]$](https://dxdy-01.korotkov.co.uk/f/8/1/f/81f3a9166c82bfae28c59d74d53a124582.png)
Ну это насколько я понял. Не бейте меня сильно
