Определите сколько существует различных наборов переменных x1, x2, x3, x4, x5, x6, при которых выражение истинно?not(x1 and x2) and not(x2 and x3)and not(x4 and x5) and not(x5 and x6) and not(x1 and x4) = true

boot – содержит конфигурационные файлы загрузчика GRUB, образы ядра (по умолчанию хранятся последние три), файлы Initrd. Чтобы было понятно, что это за такие мифические файлы Initrd, немного внесем ясность. Когда начинается начальная загрузка системы, сначала монтируется временный виртуальный диск, который содержит временную корневую файловую систему, с которой, в свою очередь, осуществляется запуск ядра Linux. Файл Initrd - образ этой временной корневой системы, который хранится на загрузочном устройстве.

В программе предполагается, что слова отделяются друг от друга одним пробелом, знаков препинания нет.
const m=3;
var s:string;
sl:array[1..m] of string=('ЗНАЧИТ', 'ВОТ', 'АВТОМОБИЛЬ');
n:array[1..m] of integer;
i:integer;
procedure pr(s1,s2:string; var k:integer);
var l,p:integer;
begin
 s1:=' '+s1+' ';
 l:=length(s2);
 k:=0;
 p:=pos(s2,s1);
 while p>0 do
  begin
  if (s1[p-1]=' ')and(s1[p+l]=' ') then k:=k+1;
  delete(s1,1,p+l);
  p:=pos(s2,s1);
  end;
end;
begin
writeln('Введите текст:');
readln(s);
for i:=1 to m do
 begin
 pr(s,sl[i],n[i]);
 writeln(sl[i],' - ',n[i]);
 end;
end.

Пример (слов меньше 40):
Введите текст:
ЗНАЧИТ ТАК ВОТ АВТОМОБИЛЬ РАЗ ВОТ АВТОМОБИЛЬ ДВА ВОТ АВТОМОБИЛЬ ТРИ
ЗНАЧИТ - 1
ВОТ - 3
АВТОМОБИЛЬ - 3