blob: 9c893107f191d0d5a490e863d7ea00e06853d4b4 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
+++
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.
|