Если ты подразумеваешь под + дизъюнкцию, то тогда вот:
<span>(А+В+С)&(A+неВ+С)</span>
<span>1. Раскрываем скобки A+A<span>&неB+A<span>&C+B<span>&A+B<span>&неB+B<span>&C+C<span>&A+C<span>&неB+C</span></span></span></span></span></span></span></span>
<span><span><span><span><span><span><span><span>2. Выносим за скобку A A<span>&</span>(1+неB+C+B+C)+B<span>&</span>C+C<span>&</span>неB+C </span></span></span></span></span></span></span></span>
<span><span><span><span><span><span><span><span>3.Т.к 1+что-либо=1 то получаем A+B&C+C&неB+C </span></span></span></span></span></span></span></span>
<span><span><span><span><span><span><span><span>4. Выносим за скобку C С<span>&</span>(B+неB+1)+A</span></span></span></span></span></span></span></span>
<span><span><span><span><span><span><span><span>5. Получаем C+A</span></span></span></span></span></span></span></span>
Можно использовать любое слово женского рода, уменшительно-ласкательного значения. Например-мамочка, девочка и т.д.
Только пробел между const и a надо поставить
<span>const a:array[1..3]of integer=(12,7,58);
тогда правильно </span>