Metoda semantičnih tabel za reševanje logičnih nalog