Logika, interpretáció?

Oké szóval A->B = 0 mert akkor lenne 1 ha B = A-val(?). Akkor innen B->0 (azaz B->B), az meg már 1. Igaz?

MÁSIK: [[-,((-,AV-,B)->(-,B/\A))]] = ?

('-,' lenne a negáció, csak nem tudtam ide hogy írjam be)

Akkor (-,B/\A) az "nem 0 és 1", azaz 0 mert és-nél meg kell egyezniük(?).

innen marad az hogy

[[-,((-,AV-,B)->0)]] = ?

Tovább

(-,AV-,B) az "nem 1 vagy nem 0", azaz "nem 0 vagy 1", azaz 1(?).

[[-,(1->0)]] = ?

Tovább

elején van a negáció, akkor -,(1->0)-ból lesz az hogy (0->1), azaz 0, mert akkor lenne 1 ha mindkettő ugyan az lenne?

Tehát akkor [[0]] = ?, [[0]] = 0?

Mondjuk amit az első válaszoló írt nem teljesen értem a linket alapul véve (mert ennyire tellett gondolom), mert

p q p→q

0 0 1

0 1 1~~miert 1

1 0 0~~miert nem 1

1 1 1

Valamint, ezt hogy olvasod ki? *p0 q0 p->q*, "ha 0 akkor 0, ez 1"? :D