2.2. Kombinačné logické obvody
Základy výrokovej logiky
Výrok je každé tvrdenie, o ktorom je možné rozhodnúť, či je toto tvrdenie pravdivé alebo nepravdivé. Výrok môžeme zapísať: A a B, C a D. Písmeno „a" je logická spojka. Ďalšie logické spojky sú: alebo, ak..., potom..., vtedy a len vtedy, i, aj.Logickú spojku „a" budeme zapisovať symbolom „." (krát), logickú spojku „alebo" budeme zapisovať symbolom „+".
Potom uvedené výroky môžeme stručne zapísať v tvare algebrických výrazov
A • B, C • D, A + B, C + D
používa sa aj zápis
A ^ B, C ^ D, A v B, C v D.