Discussioni su Algebra astratta, Logica Matematica, Teoria dei Numeri, Matematica Discreta, Teoria dei Codici, Algebra degli insiemi finiti, Crittografia.

Regole del forum

Consulta il nostro regolamento e la guida per scrivere le formule
Rispondi al messaggio

Forma normale prenessa congiuntiva

09/08/2023, 18:08

Voglio trasformare alfa, in forma normale prenessa congiuntiva.



1) Immagine

2) Immagine



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

Re: Forma normale prenessa congiuntiva

12/08/2023, 10:35

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


Skuola.net News è una testata giornalistica iscritta al Registro degli Operatori della Comunicazione.
Registrazione: n° 20792 del 23/12/2010.
©2000— Skuola Network s.r.l. Tutti i diritti riservati. — P.I. 10404470014.