Судя по таблице истинности, данная логическая формула выдаёт всегда TRUE (если я не ошибся в коде):
Var a,b : Boolean;
Begin
For a:=false to true do
For b:=false to true do
Writeln(a,' ',b,' F = ',(not a) or (not(a or b)) or (not (b and (not a) and b)));
end.
Т.е. функцию можно упростить до вида: F=True