Логикалық байланыстардың толық жүйелері

Логикалық байланыстардың толық жүйелері туралы қазақша реферат

D1, D2, …, Dn логикалық амалдардың символдары болсын. Егер тұжырымдар алгебрасының кез келген формуласы үшін оған пара-пар D1, D2, …, Dn  амалдарының көмегімен құрылған формула бар болса, онда <D1, D2, …, Dn> жүйе толық деп аталады.

Тұжырымдар алгебрасының кез келген формуласы үшін оған пара-пар ДНФ және КНФ болғандықтан, <Ø, Ù, Ú > – толық жүйе екендігі түсінікті.

Лемма 9.1 Логикалық байланыстардың келесі жиындары:

 <Ø, Ù, Ú, ® >,  <Ø, Ù >,  <Ø, Ú >,  <Ø, ®>

толық жүйе құрайды.

Лемма 9.2 <Ù, Ú, ® >,  <Ø > жиындары логикалық амалдардың толық жүйесін құрмайды.