+++
title = "Formula Table"
date = "2022-08-08"
author = "Yann Herklotz"
tags = []
categories = []
backlinks = ["3d2b1"]
forwardlinks = ["3d2b1b"]
zettelid = "3d2b1a"
+++

The main, top-level, table is the one of formulas, also called `ftable`,
which is easy to confuse with a function table. This table contains the
main operations on formulas, for example, an `and` operation between
multiple literals/atoms.