Riešenie pomocou implikačnej tabuľky - príklad