Numerické charakteristiky výrokových spojek
Abstrakt
Článek se zabývá numerickými charakteristikami výrokových spojek. Logické funkce reprezentující výrokové spojky vyjádříme pomocí formulí představujících aritmetické operace s pravdivostními hodnotami logických proměnných: a'=1–a, (a∧b) = ab, (a∨b) = a+b–ab = 1–a'b'= a+a'b= b+b'a, (a ⇒ b) = 1–a+ab= 1-ab' = a'+ab = b+a'b' a (a ⇔ b) =1–(a–b)2 = ab+a'b' = 1–ab'–a'b. Tímto způsobem vyhodnocujeme formule výrokové logiky stejně jako aritmetické výrazy. Je zde uvedeno také několik ilustračních příkladů.
Stahování
Publikováno
2025-06-01
Jak citovat
Závodný, M. (2025). Numerické charakteristiky výrokových spojek. Matematika–Fyzika–Informatika, 34(2), 89–99. Získáno z https://mfi.upol.cz/index.php/mfi/article/view/942
Číslo
Sekce
Matematika
Licence
Copyright (c) 2025 Matematika–Fyzika–Informatika
Tato práce je licencována pod Mezinárodní licencí Creative Commons Attribution 4.0 .
Autoři, kteří publikují v tomto časopise, souhlasí s následujícími body:
- Autoři si ponechávají copyright a garantují časopisu právo prvního publikování, přitom je práce zároveň licencována pod Creative Commons Attribution licencí, která umožňuje ostatním sdílet tuto práci s tím, že přiznají jejího autora a první publikování v tomto časopisu.
- Autoři mohou vstupovat do dalších samostatných smluvních dohod pro neexkluzivní šíření práce ve verzi, ve které byla publikována v časopise (například publikovat ji v knize), avšak s tím, že přiznají její první publikování v tomto časopisu.
Obsah časopisu podléhá licenci Creative Commons Uveďte autora 3.0 Česko
