Logika lukaszek559: Mam pytanko, a mianowicie czy prawdziwe jest zdanie: (a ∧ b) ∨ (c ∧ d) ↔ (a ∨ c) ∧ (a ∨ d) ∧ (b ∨ c) ∧ (b ∨ d)

cv: Najprościej podstawić i sprawdzić dla czterech przypadków( bo tylko tyle wartości jest dla 2 bitów) jeżeli otrzymasz dla każdej pary jedynki no to zdanie jest prawdziwe

ite: polecam wolframa https://www.wolframalpha.com/input/?i=%28a+AND+b%29+OR+%28c+AND+d%29+%3C%3D%3E+%28a+OR+c%29+AND+%28a+OR+d%29+AND+%28b+OR+c%29+AND+%28b+OR+d%29 można też skorzystać z rozdzielności koniunkcji wzg.alternatywy i alternatywy wzg.koniunkcji