251 B
251 B
up, tags
up | tags | ||
---|---|---|---|
|
|
[!definition] Définition Deux formule logique
f
etg
sont logiquement équivalentes sif(a) = g(a)
pour touta \in \{ 0, 1 \}^{V}
^definition