Booleska algebror

uppgift: bevisa att (a’)’=a för alla element i en boolesk algebra

har försökt på alla sätt jag kan komma på. Går antingen bara i cirklar eller kommer fram till att (a’)’=0B vilket inte stämmer. På bilden ser ni mina tre försök, något tips för att komma vidare?

En frustrerande fråga - det är ju så självklart när man tänker på boolska algebrans bakgrund i satslogiken 2 negationer blir ju sant. Eller ser det som mängdlärans union och skärning och komplement. Men du vill ha att formellt bevis förståss.

Pröva att ta din första formel ava´=1B och ta komplement av båda sidorna alltså (ava´)´= 0B och ditribuera in ´

Oj vad elegant matsc, tack!

Svara