Registrácia | Prihlásiť

Výpočet: Logické systémy - príklady s výsledkami

Skryť detaily | Obľúbený
Výroková logika, Relácie,Booleovské funkcie,Kombinacné logické siete,Konecné automaty,Fyzikálna realizácia automatov


...Príklad 7. Nájdite UNDF a UNKF výrokovej formuly a= ((p => q)Λ(p=> r))=>(q => r).
Riešenie. Najprv vyjadríme pravdivostné ohodnotenie formuly a pomocou B-výrazu....
Hodnotenie (1x):