Aussagenlogik

Besteht aus Aussagenlogischen Formel.

Eigenschaften

Aussagenlogischen Formel können erfüllbar sein.