Beweis dass nicht 1 = 0 in boolescher Algebra?

Ich habe nicht 0 = 1 geschafft zu beweisen, aber (nicht) nicht 1 = 0. Wäre über eine hilfreiche Antwort sehr dankbar!

Answer 1

[YBCO123]

Komplementaritätsaxiom:

$\neg a\ \vee a\ =\ 1$ =>

$\neg0\ \vee\ 0\ =\ 1$

Neutralitätsaxiom:

$a\ \vee\ 0\ =\ a$ => $\neg0\ \vee\ 0\ =\ \neg0$

Daraus folgt

$\neg0\ =\ 1$

Comments

[bleistiftluv]

Vielen Dank!

Answer 2

[J0T4T4]

Sobald du verwenden darfst, dass nicht nicht 0 wieder 0 ist, geht das direkt durch Einsetzen der bereits bewiesenen Aussage hervor.

Woher ich das weiß: Studium / Ausbildung – MATHEMANN zur Rettung!