Forma normale prenessa congiuntiva

[valerimartohan]

Voglio trasformare alfa, in forma normale prenessa congiuntiva.



1)

2)



Non riesco a capire da dove viene w e che cosa è w, avrei bisogno di una spiegazione. Grazie mille!

[megas_archon]

le formule in 2 sono \(\alpha\)-equivalenti https://ncatlab.org/nlab/show/alpha-equivalence