Redirecting to Matricų metodas (teiginių logika)