BuK/IIm19/Übung 1 Schuster

Wiki-Quelltext dieser Seite.

<language>SchemeJS</language>
== Aussagenlogischer Interpreter ==

<code id="5e6b576172c27">; Schreibe einen Interpreter für aussagenlogische Terme
; Folgende Operationen sollen unterstützt werden:
;  - ¬
;  - ∧
;  - ∨
;  - →
;  - ↔</code>

<run id="5e6b576172cbf">(</run>

== Wahrheitstafeln für indirekten Beweis ==

Lorm Ipsum