Kostka boolowska

Kostka boolowska – ciąg elementów zbioru {0, 1, *}. Określa ona zbiór wektorów binarnych.

$K=(10*1*)=\left\{\begin{array}{ccccc}1& 0& 0& 1& 0\\ 1& 0& 0& 1& 1\\ 1& 0& 1& 1& 0\\ 1& 0& 1& 1& 1\end{array}\right\}$

Kostka reprezentuje tak zwany niepełny iloczyn:

$K=(10*1*)=x_1\overline{x_2}{x}_4$

Powyższy zapis jest bardzo użyteczny. Mówi on nam, że funkcja:

$f(x_1,x_2,x_3,x_4,x_5)=x_1\overline{x_2}{x}_4$

przyjmuje wartość 1 tylko dla wektorów kostki K.

Podobnie, jeśli zapiszemy funkcję g jako

$g(x_1,x_2,x_3,x_4)=x_1{x}_4+\overline{x_1}\overline{x_2}{x}_3,$

to przyjmuje ona wartość 1 tylko dla wektorów kostek K1 i K2:

$K1=(1**1)K2=(001*)$

Zobacz też

• algorytm ekspansji
• funkcja boolowska
• implikant funkcji boolowskiej