¬B
Объяснение:
(A ∧ ¬B) v (¬B ∧ C) v (¬A ∧ ¬B)
Поменяем части выражения (A ∧ ¬B) v (¬B ∧ C) местами по переместительному (коммутативному) закону, взяв (A ∧ ¬B) за А, и (¬B ∧ C) за В.Переместительный (коммутативный) закон:
A ∨ B = B ∨ A
(A ∧ ¬B) v (¬B ∧ C) v (¬A ∧ ¬B) = (¬B ∧ C) v (A ∧ ¬B) v (¬A ∧ ¬B)
(¬B ∧ C) v (A ∧ ¬B) v (¬A ∧ ¬B)
Берём выражение (A ∧ ¬B) v (¬A ∧ ¬B) и сокращаем по закону исключения (склеивания).Закон исключения (склеивания):
(A ∧ B) ∨ (¬A ∧ B) = B
(¬B ∧ C) v (A ∧ ¬B) v (¬A ∧ ¬B) = (¬B ∧ C) v ¬B
(¬B ∧ C) v ¬B
Берём выражение (¬B ∧ C) v ¬B и сокращаем по закону поглощения.
Закон поглощения (склеивания):
А ∨ (A ∧ B) = A
(¬B ∧ C) v ¬B = ¬B
¬B
program zzz;
var
max, k, a: integer;
s: string;
begin
assign(input, 'zad_24.txt');
readln(s);
a := 1;
max := 1;
for var i := 2 to length(s) do
if (s[i] = s[i - 1]) and (s[i] = 'C') then
begin
k := k + 1;
if max > i then
max := i;
end
else
max := 1;
writeln(a);
end.
Объяснение:
Циклическую переменную i стоит использовать только в самом for, т. е. она выполняет функцию счетчика.
Я заменил переменную i вне цикла на переменную a.
Что касается ошибки "Параметр цикла for должен описываться в заголовке цикла" - for var i := 2 to length(s) do
Не нужно циклическую переменную указывать глобально в var
