A logikai algebra tételei

Műveletek kitüntetett elemekkel: 0, 1;

Műveletek kitüntetett elemekkel - 1. feladat.

Műveletek kitüntetett elemekkel - 2. feladat.

Az A-val jelzett logikai változó nem csak egy változó, hanem egy logikai műveletsor eredményét is jelentheti

Általánosan: a páros számú tagadás nem változtatja meg az értéket, míg a páratlan számú tagadás azt az ellenkezőjére változtatja.

Műveletek azonos változókkal - 1. feladat.

A logikai tagadás tételei - 2. feladat.

E két tétel a műveletek disztributív tulajdonsága és a már felsorolt tételek segítségével bizonyítható.

Ezek a tételek is bizonyíthatók az alaptulajdonságok segítségével.

Általános tételek - 1. feladat.

Általános tételek - 2. feladat.

A továbbiakban ismertetünk néhány módszert, amelyeket az algebrai kifejezések átalakításánál gyakran használunk.

Első lépésként a baloldal mindhárom tagját kibővítjük úgy, hogy szerepeljen bennük mind független változó (A,B,C).

Algebrai kifejezés tagadása ( a De Morgan - tételek alkalmazása).