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
Jak citovat
Číslo
Sekce
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