to tam budu len tie pravdivostne tabulky (zistit ci je tautologia, kontradikcia, splnitelna), minimalizacia funkcie, rezolucna metoda a ta substitucia ?
ved to sa ani ucit netreba .. to je lahke, ved to je takmer len to, co bolo aj na tych malych pisomkach
no hej, len sa nepomylit ... inak to neni tazke ... nehovorila kolko prikladov bude ?
Niekto šikovný čo by napísal z knihy obsah čo sa vlastne treba učiť ?.. 2,1 2,2 napr a tak ..
A nevie niekto ci treba nejaky specialny dvojharok pri Drazenskej??? S nejakou prednou stranou alebo tak nejak..
http://imageshack.us/photo/my-images/696/87926069.png
niekto šikovný kto by vypočítal tretí príklad s tou rezolučnou metódou? mne vyšlo, že je nesplnitelná, na konci mi vyšlo F...a do tabulky som po úprave implikácií a ekvivalencií zapísal 10 formul...
Axiomy vyrokovej logiky budu ? Modus ponens, zakon Dunsa Scotta a tie vety o tranzitivnosti a pod. ?+ x v y => t .. to je (x v y) => t alebo x v (y => t) ??
x v y => t .. to je (x v y) => t alebo x v (y => t) ??