Algebra Boole'a

[add00]

Witam,

Proszę o sprawdzenie zadania a oraz wytłumaczenie pozostałych.

a) \(\displaystyle{ a \vee ( \neg a b) = 1 * (a+b) = a + b}\)
b) \(\displaystyle{ ab \vee \neg a b \neg c \vee bc = ?}\)
c) \(\displaystyle{ (a \vee \neg b \vee ab)(a \vee \neg b) a \neg b}\)

Będę ogromnie wdzięczny.

[Jan Kraszewski]

a) \(\displaystyle{ a \vee ( \neg a b) = 1 * (a+b) = a + b}\)

Myśl dobra, ale zdecyduj się, który zestaw symboli działań używasz.

JK

[add00]

Ok - zgodność symboli:
\(\displaystyle{ a \vee ( \neg a b) = 1 * (a \vee b) = a \vee b}\)
right?

A co z pozostałymi? Proszę chociaż nakierować.

[Jan Kraszewski]

Right (choć jak dla mnie to albo \(\displaystyle{ \land}\) i \(\displaystyle{ \lor}\), albo \(\displaystyle{ +}\) i \(\displaystyle{ \cdot}\)...).

b) wyłącz \(\displaystyle{ b}\) przed nawias, w nawiasie skorzystaj z prawa de Morgana.

c) znasz własność \(\displaystyle{ (x\lor y)x=x\ ?}\)

JK