einer Booleschen Funktion f : D → {0, 1} mit D ⊆ {0, 1}ⁿ zugeordnete Matrix A( f), deren Zeilen den Primimplikanten von f, und deren Spalten den Elementen der ON-Menge von f entsprechen.

Die Einträge der Matrix sind die Booleschen Werte 0 und 1 und geben an, welcher Minterm von f durch welchen Primimplikanten überdeckt wird, d. h., für jeden Primimplikanten q von f und für jedes Element α aus der ON-Menge von f gilt \begin{eqnarray}A(f)[q,\alpha ]\ =\ \phi \ (q)\ (\alpha ).\end{eqnarray} Hierbei beschreibt ϕ(q) die durch das Boolesche Monom q dargestellte Boolesche Funktion.

Die Primimplikantentafel einer Booleschen Funktion f wird im Rahmen der zweistufigen Logiksynthese eingesetzt, um aus der Menge der Prim-implikanten von f eine Teilmenge auszuwählen, deren Disjunktion ein Minimalpolynom von f ergibt.