Jednym ze znaków, że mamy dobrą ontologię, jest to, że potrzebujemy tylko kilku ogólnych reguł, które można jasno i zwięźle określić. Oto wszystkie aksjomaty, których będziemy potrzebować:
1.Jeśli dwa zaciski są połączone, to mają ten sam sygnał:
2.Sygnał na każdym terminalu to 1 lub 0:
3.Połączenie jest przemienne:
4.Istnieją cztery rodzaje bramek:
5.Wyjście bramki AND ma wartość 0 wtedy i tylko wtedy, gdy którekolwiek z jej wejść ma wartość 0:
6.Wyjście bramki OR to 1 wtedy i tylko wtedy, gdy którekolwiek z jej wejść ma wartość 1:
7.Wyjście bramki XOR to 1 wtedy i tylko wtedy, gdy jej wejścia są różne:
8.Wyjście bramki NOT różni się od jej wejścia:
9.Bramki (oprócz NOT) posiadają dwa wejścia i jedno wyjście.
10.Obwód ma zaciski, aż do jego arności wejściowej i wyjściowej, i nic poza jego arnością:
11.Bramki, terminale i sygnały są różne.
12.Bramy to obwody.
