Forme normale (FND, FNC)

Formele normale reprezintă modalități standardizate de a scrie expresii logice, esențiale în algebra booleană și în rezolvarea problemelor de logică la nivel liceal. Acestea sunt utilizate pentru a simplifica circuitele logice, a demonstra echivalențe și a facilita analiza tabelelor de adevăr. În logica propozițională, cele două forme principale sunt Forma Normală Disjunctivă (FND) și Forma Normală Conjunctivă (FNC).

O FND este o disjuncție (sumă logică, adică SAU) de conjuncții (produse logice, adică ȘI) de literali (variabile sau negări ale acestora); de exemplu, (A∧B) ∨ (¬A∧C). Fiecare termen conjunctiv corespunde unui rând din tabelul de adevăr pentru care funcția are valoarea 1 (adevăr). FNC, pe de altă parte, este o conjuncție de disjuncții de literali, de exemplu (A∨B) ∧ (¬A∨C).

Fiecare termen disjunctiv corespunde unui rând pentru care funcția are valoarea 0 (fals). Transformarea unei expresii logice în FND sau FNC se face prin aplicarea legilor lui De Morgan, distributivității și simplificării, sau direct din tabelul de adevăr: pentru FND, se identifică rândurile cu rezultat 1 și se scrie termenul conjunctiv care le face adevărate; pentru FNC, se identifică rândurile cu rezultat 0 și se scrie termenul disjunctiv care le face false. De exemplu, pentru funcția XOR: A⊕B = (A∧¬B) ∨ (¬A∧B) în FND și (A∨B) ∧ (¬A∨¬B) în FNC.

Aceste forme sunt unice dacă se respectă toți literalii, dar se pot simplifica folosind algebra booleană. În contextul Bacalaureatului, elevii trebuie să construiască forme normale dintr-o expresie dată sau dintr-un tabel, să identifice echivalențe și să aplice proprietățile de distributivitate. Înțelegerea profundă a acestor concepte permite analiza riguroasă a circuitelor logice și a implicațiilor din matematică, informatică și filozofie.

Exemple

• Exemplul 1: Transformați expresia (A∧B) ∨ (¬A∧B) în FND. Rezolvare: Expresia este deja o disjuncție de conjuncții, deci este în FND. Se poate simplifica prin factorizare: B∧(A∨¬A) = B∧1 = B. Astfel, forma normală disjunctivă simplificată este B (sau 0∨B).
• Exemplul 2: Construiți FNC pentru funcția dată de tabel: A=0,B=0 → 1; A=0,B=1 → 0; A=1,B=0 → 1; A=1,B=1 → 0. Rezolvare: Rândurile cu 0 sunt (A=0,B=1) și (A=1,B=1). Pentru fiecare rând cu 0, scriem disjuncția care este falsă doar acolo: pentru (0,1): (A∨¬B); pentru (1,1): (¬A∨¬B). Conjuncția acestora: (A∨¬B) ∧ (¬A∨¬B) este FNC. Se poate simplifica: ¬B∨(A∧¬A) = ¬B.
• Exemplul 3: Găsiți FND și FNC pentru expresia (A→B)∧¬C. Rezolvare: Mai întâi, rescriem implicația: (¬A∨B)∧¬C. FND: Se face tabelul de adevăr: A,B,C în 0/1. Expresia este 1 când ¬C=1 (C=0) și ¬A∨B=1, adică (A=0 sau B=1). Rândurile cu 1: (0,0,0): ¬A∧¬B∧¬C; (0,1,0): ¬A∧B∧¬C; (1,1,0): A∧B∧¬C. FND= (¬A∧¬B∧¬C) ∨ (¬A∧B∧¬C) ∨ (A∧B∧¬C). FNC: Rândurile cu 0 sunt restul de 5. Pentru fiecare, scriem disjuncția: de exemplu (0,0,1): (A∨B∨¬C); (0,1,1): (A∨¬B∨¬C); (1,0,0): (¬A∨B∨C); (1,0,1): (¬A∨B∨¬C); (1,1,1): (¬A∨¬B∨¬C). Conjuncția acestora este FNC. Se observă că FNC este mai complexă, dar corectă.

Concepte cheie: Forma Normală Disjunctivă (FND): disjuncție de conjuncții de literali, Forma Normală Conjunctivă (FNC): conjuncție de disjuncții de literali, Transformarea din tabel de adevăr: FND din rânduri cu 1, FNC din rânduri cu 0