package body Tipusok is

   function "*"(A : Logikai_Tipus; B : Logikai_Tipus) return Logikai_Tipus is
   begin
      return (A and B);
   end;

   function Negal(L : Logikai_Tipus) return Logikai_Tipus is
   begin
      return (not L);
   end Negal;

end Tipusok;