Rozhodni, pri ktorých pravdivostných hodnotách výrokov A, B je uvedená výroková formula pravdivá:
\( \large \left( \neg A \lor B\right) \Rightarrow \neg B \)
X
Y
¬X
¬Y
¬X∨Y
(¬X∨Y)⇒¬Y
1
EF¬E¬F¬E∨F(¬E∨F)⇒¬F01CD¬C¬D¬C∨D(¬C∨D)⇒¬D10AB¬A¬B¬A∨B(¬A∨B)⇒¬B10
E
F
¬E
¬F
¬E∨F
(¬E∨F)⇒¬F
0
CD¬C¬D¬C∨D(¬C∨D)⇒¬D10AB¬A¬B¬A∨B(¬A∨B)⇒¬B10
C
D
¬C
¬D
¬C∨D
(¬C∨D)⇒¬D
AB¬A¬B¬A∨B(¬A∨B)⇒¬B10
A
B
¬A
¬B
¬A∨B
(¬A∨B)⇒¬B