legge di De Morgan

Definizione (topologia)

$X$ insieme, $\{U_{\alpha }{\}}_{\alpha \in A}$ famiglia di insiemi,

$$X-\bigcup _{\alpha \in A}{U}_{\alpha }=\bigcap _{\alpha \in A}\left(X-U_{\alpha }\right)$$ $$X-\bigcap _{\alpha \in A}{U}_{\alpha }=\bigcup _{\alpha \in A}\left(X-U_{\alpha }\right)$$

Definizione (logica)

$\neg (p\wedge q)=\neg p\vee \neg q$
$\neg (p\vee q)=\neg p\wedge \neg q$

$p$	$q$	$p\wedge q$	$\neg (p\wedge q)$	$\neg p$	$\neg q$	$\neg p\vee \neg q$
V	V	V	F	F	F	F
V	F	F	V	F	V	V
F	V	F	V	V	F	V
F	F	F	V	V	V	V

Risorse