Logika - rachunek zdań, tautologie Jordan: (a ⋀ b) => c <=> (b => a => c) czy jest to równoważne z zapisem: (((a ⋀ b) => c) => (b => a => c)) ⋀ ((b => a => c) => (a ⋀ b) => c)) jeśli nie to jak wygląda zapis? Zbadać czy jest to tautologią.

Saizou : jest to zapis niejednoznaczny, bo co wiąże mocniej: implikacja czy równoważność (a∧b)→c↔(b→a→c) tu jest zgrzyt