udowodnij prawo logiczne De Morgana . Prosze o pomoc ninaaa: udowodnij prawo logiczne De Morgana . ∼( p ∧ q ) ⇔ ( ∼p ) ∨ ( ∼ q )

Vizer: Spróbuj może tabelką udowodnić.

Trivial: Metoda brute force − sprawdzić wszystkie możliwe kombinacje zer i jedynek.

Vizer: jak to ładnie nazwane jest "brute force"

Trivial:

ninaaa: ale jak to sie robii ?

Vizer: Nie wiem czy o to chodziło Trivialowi, ale ja bym zrobił dwie tabelki, gdzie wyznaczam wartości logiczne najpierw ~(p⋀q), później drugą gdzie wyznaczam wartości logiczne (~p)v(~q) i wtedy zauważymy, że wartości logiczne będą takie same, więc prawo udowodnione.

Trivial: Tak o to mi chodziło, ale brute force ładniej brzmi.

Vizer: Z tym się nie będę sprzeczał

ninaaa: a , to jakoś sobie poradze . dziekii .