# Propositional formulae

Define a type for representing propositional formulae without variables.

Define a valuation function which computes the boolean of any such
formula.
## Solution

This file

Note: this solution contains also an infix notation
for these formulae.

Suggestion: add propositional variables !

Going home

Pierre Castéran