Filtro per l'input in forma sop (sono ammesse solo le lettere, il + e il segno di negazione)
Filtro per l'input in forma pos (sono ammesse solo le lettere, il +, il segno di negazione, e le parentesi)
La procedura si avvale dell'algoritmo Quine Mc-Cluskey e del metodo di Petrick
Numero di variabili nella funzione
private void Minimizzazione_da_Equazione_Algebrica_Load( |
| ) |
private void sop_cbox_CheckedChanged( |
| ) |
private void pos_cbox_CheckedChanged( |
| ) |
private void equazione_tbox_TextChanged( |
| ) |
private void minimizza_button_Click( |
| ) |
private void equazione_tbox_Leave( |
| ) |
private void azzera_button_Click( |
| ) |
private void copia_toolstrip_Click( |
| ) |
private void Minimizzazione_da_Equazione_Algebrica_HelpButtonClicked( |
| ) |
private void posdc_cbox_CheckedChanged( |
| ) |
private void sopdc_cbox_CheckedChanged( |
| ) |
private void dc_tbox_TextChanged( |
| ) |
private void dc_tbox_Leave( |
| ) |
private string Aggiusta_NOT( |
| ) |
Metodo che elimina i connettivi NOT superflui
private bool ASFD_POS( |
| ) |
Parser per la forma POS basato sull'idea di automa a stati finiti deterministico. L'automa in questo caso, lavora con sei stati e un alfabeto di 30 simboli {'(', ')', '+', '~', 'A', 'B', ... , 'Z'}.
false se la stringa non appartiene al linguaggio, true viceversa.
private bool ASFD_SOP( |
| ) |
Parser per la forma SOP basato sull'idea di automa a stati finiti deterministico. L'automa in questo caso, lavora con qattro stati e un alfabeto di 28 simboli {'+', '~', 'A', 'B', ... , 'Z'}.
false se la stringa non appartiene al linguaggio, true viceversa.
private int Ottieni_Numero_Variabili( |
| ) |
Ricavera il numero di variabili della funzione dall'input dell'utente
private List<int> SOP( |
| ) |
Ricava la tabella di veritè della funzione in forma SOP
private List<int> POS( |
| ) |
Ricava la tabella di veritè della funzione in forma POS
private static string Converti_In_Binario( |
| ) |
Procedura per la conversione in binario
private static string Reverse( |
| ) |
Procedura per l'inversione di una stringa
private void Sistema_Espressioni( |
| ) |
Riformatta l'espressione inserita dall'utente, eliminando le ripetizioni non necessarie e riordinandone gli elementi.
private void Rimuovi_Duplicati( |
| ) |
Rimuove i termini duplicati da una lista