$ unisuite-cs --module apl

Aussagen- und Prädikatenlogik (APL)

Syntax und Semantik von PL1, Resolution, Unifikation, Herbrand-Theorie und Logikprogrammierung (Prolog).

Wahrheitstabellen-Generator

Aussagenlogik

Logische Formel $F$ eingeben:

UND: & / && / and ODER: | / || / or NICHT: ! / ~ / not IMPLIKATION: => / -> ÄQUIVALENZ: <=> / <->