Kategoria:Algebra Boole'a
Strony w kategorii „Algebra Boole'a”
A
Alfabet logiczny
Algebra Boole'a
Algebra Boole'a (struktura)
Algebra Cantora
Algebra losowa
Algebra pochodna (algebra abstrakcyjna)
Algebra relacji
Algebra wnętrz
Algebraiczna postać normalna
Algebry Boole'a zdefiniowane kanonicznie
Algorytm plew
Analiza funkcji boolowskich
B
Binarny diagram decyzyjny
Booleo
Boolowski problem spełnialności
Boolowski typ danych
Boolowskie zapytanie koniunkcyjne
Bramka LUB
C
Całkowita charakterystyka operacyjna
Ciało zbiorów
D
Darmowa algebra Boole'a
Domena logiczna
Dwuelementowa algebra Boole'a
F
Funkcja jednokrotnego odczytu
Funkcja logiczna
Funkcja o wartościach boolowskich
Funkcja parzystości
Funkcja większości
Funkcja wygięta
G
Gra Formuła
Graf acykliczny skierowany zdaniowo
H
Heurystyka algorytmu spełnialności Boole'a
I
Implikant funkcji boolowskiej
Inkluzja (algebra Boole'a)
J
Jerzego Boole'a
K
Kamienny funktor
Kanoniczna postać normalna
Krata podziału
Kryteria DiVincenzo
L
Lista tematów algebry Boole'a
Logika wektorowa
M
Macierz logiczna
Mapa Karnaugha
Metoda Petricka
Minimalne aksjomaty algebry Boole'a
Model o wartościach boolowskich
Monadyczna algebra Boole’a
Morfizm dwuwartościowy
O
Odporność na korelację
Operacja bitowa
Optymalizacja logiki
P
Pierścień logiczny
Planarny SAT
Prawa De Morgana
Prawa formy
Prawdziwy skwantyfikowany wzór logiczny
Prawo absorpcji
Prawo form Poreckiego
Procedura Davisa-Putnama
Przestrzeń Stone’a
R
Rachunek zdań
Redundancja logiczna
Reprezentacja Łupanowa
Rezyduowana algebra Boole'a
S
Symetryczna funkcja boolowska
System funkcjonalnie pełny
T
Tabela prawdy
Termin produktu
Twierdzenie Boole'a o ekspansji
Twierdzenie Stone’a o reprezentacji algebr Boole’a
Twierdzenie konsensusu
Twierdzenie o ideale pierwszym
U
Ukończ algebrę Boole'a
Unia (teoria mnogości)
Unikalna funkcja boolowska
Upadająca algebra
W
Wielomian Zhegalkina
Wykres implikacji
Wyrażenie logiczne
Z
Zrównoważona funkcja logiczna
A
algebra modalna
algebry Cohena
algebry Maharama
algebry Robbinsa
algebry Suslina