Logické spojky a pravdivostní tabulky

Pravdivostní hodnoty

V informatice používáme většinou zaměnitelně následující:

• 1 = true = pravda
• 0 = false = nepravda

Logické spojky

Zápis	Název	Význam
\text{ not } X	negace	neplatí X
X \text{ and } Y	konjunkce, a zároveň	X a Y platí současně
X \text{ or } Y	disjunkce, nebo	platí alespoň jedno z X a Y
X \text{ xor } Y	exkluzivní nebo	platí právě jedno z X a Y
X \Rightarrow Y	implikace, jestliže-pak	pokud platí X, pak platí i Y
X \Leftrightarrow Y	ekvivalence, právě když	X platí právě tehdy, když platí Y

Pravdivostní tabulka logických operací

X	Y	X \text{ and } Y	X \text{ or } Y	X \text{ xor } Y	X \Rightarrow Y	X \Leftrightarrow Y
0	0	0	0	0	1	1
0	1	0	1	1	1	0
1	0	0	1	1	0	0
1	1	1	1	0	1	1

Fatal error: Uncaught TypeError: App\Service\PsService::getUserItemStatusByPs(): Argument #1 ($user) must be of type int, null given, called in /var/www/umimeprogramovat.cz/webroot/src/Snippet/Exercise/ItemBasedExercise/ItemBasedExercisePlugin.php on line 66 and defined in /var/www/umimeprogramovat.cz/webroot/src/Service/PsService.php:69 Stack trace: #0 /var/www/umimeprogramovat.cz/webroot/src/Snippet/Exercise/ItemBasedExercise/ItemBasedExercisePlugin.php(66): App\Service\PsService->getUserItemStatusByPs() #1 [internal function]: App\Snippet\Exercise\ItemBasedExercise\ItemBasedExercisePlugin->progress() #2 /var/www/umimeprogramovat.cz/webroot/src/Helper/ExerciseHeaderBuilder.php(20): call_user_func() #3 /var/www/umimeprogramovat.cz/webroot/src/Template/BaseExercise/default.php(26): App\Helper\ExerciseHeaderBuilder->render() #4 /var/www/umimeprogramovat.cz/webroot/src/Controller/BaseExercise.php(119): require('...') #5 /var/www/umimeprogramovat.cz/webroot/exercise/binarniKrizovka.php(21): App\Controller\BaseExercise->renderDefault() #6 /var/www/umimeprogramovat.cz/webroot/index.php(113): include('...') #7 {main} thrown in /var/www/umimeprogramovat.cz/webroot/src/Service/PsService.php on line 69