I am trying to understand fuzzy logic. I got to t-norms and trying to do some exercises on them.
Can you explain to me how to make a t-norm of the following formulas and verify if they are tautologies:
Lukasziewicz t-norm
$(A \Rightarrow B) \Rightarrow ((B \Rightarrow C) \Rightarrow (A\Rightarrow C))$
Product t-norm
$\neg\neg A\Rightarrow (((B\&A)\Rightarrow (C\&A))\Rightarrow (B\Rightarrow C))$
Gödel t-norm
$((A \Rightarrow B) \Rightarrow C) \Rightarrow (((B \Rightarrow A) \Rightarrow C)\Rightarrow C)$
I am confused how to make them in correct way. Thanks